Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
47,133 repositories indexed
193–216 of 228 · Most stars
Partial Commutative Monoids
Pure python parser for Snort/Suricata rules.
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
Basic Configuration Language
Generate Clojure syntax from vectors
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]
Generate images from Graphviz dot strings in Clojure and Clojurescript
Gatherers library for Java Stream API
Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.
Build parsers easily
Generates Blazor -> Javascript strongly typed interop methods.
A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.
The GMap iteration macro, plus a few other useful macros.
Rate limiter and overload protection for erlang application
Lazy iterator implementation for Golang
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
Primitive Threads and Concurrency Operations for Coalton
A Clojure library designed to provide hassle-free, ready to go gRPC experience without ton of preparations and Java code.
Crystal binding generator for raw SDL 3 methods
Integration of R, Java, and Scala
Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks
PEG parser generator for VB6
lexer generator
Gatling DSL extensions — feeders, profile management, transactions, assertions, Redis integration, and utility functions