A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Repository Index
47,133 repositories indexed
313–336 of 518 · Most stars
Write LÖVE 2D projects with TypeScript
- love2d
- typescript
- typescript-declaration
- lua
A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees
- common-lisp
- reader
- extensible
- error-recovery
:ram: Lisp that compiles to JavaScript in the Ramda way
- lisp
- ramda
- functional
- s-expression
A mechanisation of Wasm in Rocq
- webassembly
- wasm
- coq
- rocq-prover
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
Actor library for C# with additional modules that support persistence to Redis, as well as JS integration
AsyncCalls – Asynchronous function call framework
Coroutine-based multithreading library for Delphi
- delphi
- greenlet
- coroutines
- golang
C# bindings for Sciter - create HTML/CSS/JS based native apps
- sciter
Qwen3.5-2B with a SIMT GPU inside its weights, 45 compiled layers in front of Qwen’s own, using its Gated DeltaNet layers as registers and memory.
Haxe native extension for the Steam API
Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless extraction of traced data
😴 Functional programming with lazy immutable iterables
- iterables
- functional-programming
- iterator
- haskell
PHP library to find URLs in text and turn them into clickable links. Made to handle complex URLs, HTML markup and edge cases.
A parallelized stream implementation for Elixir
- stream
- elixir
- parallelize
- parallelism
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
Golang simple thread pool implementation
- golang
- threadpool
- channels
- scalable
Pattern Matching library for go
- branching
- conditions
- golang
- matching
🚦 Semaphore pattern implementation with timeout of lock/unlock operations.
- go
- golang
- library
- module
Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.
- uno
- uno-platform
- webassembly
- wasm
Pipe elixir functions that match ok/error tuples or custom patterns.
- elixir
- error-handling
- monad
- pipe
Regex based Python script that converts arbitrary gdscript code to C#
Shadertoy :arrow_right: LÖVE GLSL || Converter