ruby bindings for liblxc
- lxc
- ruby
- containers
Repository Index
84,085 visible repositories in the index
529–552 of 778 · Most stars
XPath/XQuery 3.1 interpreter for Pascal with compatibility modes for XPath 2.0/XQuery 1.0/3.0, custom and JSONiq extensions, pattern matching, XML/HTML/JSON parsers and classes for HTTP/S requests
- xpath
- xquery
- pascal
- html
A mysqldump anonymizer
- mysqldump
- anonymizer
- database-anonymizer
- rgpd
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Persistent sorted maps and sets with log-time rank queries
A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang
- domain-specific-language
- gamemaker-studio-2
- dynamically-typed
- compiler
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
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 collection of containers & algorithms for the Crystal programming language
- crystal
- algorithms
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
Clojure support for protocol buffers
- clojure
- protobuf
- protobuf3
- protobuf-java
pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
Library for lexing and parsing D source code
Convert string to duration in golang
- golang
- string
- duration
- convert
Actor library for C# with additional modules that support persistence to Redis, as well as JS integration
Vert.x for Scala
These are the Pascal SDL 2 Headers.
Decorator which checks whether the function is called with the correct type of parameters.
- python
- type-checking
- runtime-checking
- typechecking
Coroutine-based multithreading library for Delphi
- delphi
- greenlet
- coroutines
- golang
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.
C# bindings for Sciter - create HTML/CSS/JS based native apps
- sciter