A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Repository Index
47,133 repositories indexed
625–648 of 1,006 · Most stars
A mysqldump anonymizer
- mysqldump
- anonymizer
- database-anonymizer
- rgpd
A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.
- midi
- music-programming
- karaoke
- karaoke-player
A Ruby wrapper for Latent Dirichlet Allocation (LDA).
A fast, purely functional data structure library in Common Lisp.
Complete SQLite API translation and simple wrapper for Delphi and FreePascal
Delphi implementation of ZeroMQ Majordomo protocol and CZMQ high level binding
Write LÖVE 2D projects with TypeScript
- love2d
- typescript
- typescript-declaration
- lua
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
A collection of LPEG patterns
- lua
- lpeg
- uri
- uri-parser
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
Simple JMeter performance tests API for python
Lowest barrier of entry to Image Processing, Computer Vision and Neural Networks on the JavaVM
- clojure
- computer-vision
- kotlin
- opencv
A collection of containers & algorithms for the Crystal programming language
- crystal
- algorithms
Compose promise-returning & async functions into a reusable pipeline
FreakC Programming Language - an experimental Batch-like language written in Batch which compiles to Batch
- programming-language
- windows
- scripting-language
- compiler
A mechanisation of Wasm in Rocq
- webassembly
- wasm
- coq
- rocq-prover
pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
go-lock is a lock library implementing read-write mutex and read-write trylock without starvation
- golang
- go
- trylock
- mutex
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
Actor library for C# with additional modules that support persistence to Redis, as well as JS integration
Convert string to duration in golang
- golang
- string
- duration
- convert