Repository Index

Lightweight animation library for UIKit

Reactive Data Source for Search

🚀 Jekyll Progressive Web App Generator.

• progressive-web-app
• generator
• yeoman
• jekyll

RTree2D is a 2D immutable R-tree for ultra-fast nearest and intersection queries in plane and spherical coordinates

• scala
• rtree
• 2d
• str

World-wide CartoCSS port of Stamen's classic terrain style

• terrain-style
• stamen
• cartography
• map

Algebraic data types in Common Lisp

• common-lisp
• algebraic-data-types
• functional-programming

A library of mechanised undecidability proofs in the Coq proof assistant.

• coq

MCP server for AI agents to read and interact with Elysium, Kinetiq’s Arbitrum Orbit L2 on Hyperliquid

• ai-agents
• elysium
• evm
• hyperliquid

A collection of tasks to probe the effectiveness of protein sequence representations in modeling aspects of protein design

• protein
• protein-sequences
• protein-design
• representation-learning

A cross platform download manager for Xamarin

• xamarin-plugin
• download-manager
• background-jobs
• nuget

Learn the DSA and be Interview ready

• dsa
• java
• coding-challenges
• data-structures-and-algorithms

A list of existing Xamarin binding libraries.

• xamarin
• ios
• android
• bindings

A machine learning library for Clojure built on top of Weka and friends

TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.

• formal-verification
• lean4
• proof-carrying-code
• type-safety

Scalable Binary Data Extraction in Hadoop

An Elixir implementation of the JSON Web Token (JWT) Standard, RFC 7519

A port of the WordPress Twenty Twenty theme to Gatsby.

• gatbsy
• gatsbyjs
• wordpress
• twentytwenty

This repository is a proof of concept toolbox for using Deep Belief Nets for Topic Modeling in Python.

TranslatedDeepSeek Blue Big Fat Fish Elimination Plan: a Chrome / Edge / Firefox browser extension that identifies and cleans up bot accounts (大肥鱼, Dafeiyu, "big fat fish") driven by the DeepSeek large model and AI agents in Bilibili comment sections. Offline rules + precise judgment by the DeepSeek API, AI comment detection, profile page identification, and one-click clearing by 鲸鱼娘 (Jingyuniang, "whale girl"). DeepSeek AI bot detector for Bilibili comments.

• ai-detection
• bilibili
• browser-extension
• chrome-extension

Collect and forward metrics using portable shell scripts

A 2D platform game with a persistent world. When Edgar's father fails to return home after venturing out one dark and stormy night, Edgar fears the worst: he has been captured by the evil sorcerer who lives in a fortress beyond the forbidden swamp.

A simple scheduler for OCaml 5

• effects
• ocaml
• parallelism
• scheduler

Reverse-engineering tool for docker environments

• docker
• docker-compose
• reverse-engineering
• cli

Pokémon Brilliant Diamond and Shining Pearl as a Unity project rebuilt from your own dump