The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Repository Index
47,133 repositories indexed
481–504 of 654 · Most stars
Reactive computation tree library for non-blocking concurrent Common Lisp
- data-flow
- asynchronous
- common-lisp
- concurrency
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
Compute cluster (HPC) job submission library for Go (#golang) based on the open DRMAA standard.
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
Manifold implementation in Clojurescript
- clojurescript
- manifold
- rx
- stream
Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.
- parser-combinators
- common-lisp
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
Advanced Function composition to use with RxJava [STABLE]
:shrimp: Rust cryptography library
- rust
- cryptography
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.
- concurrent
- golang
- golang-library
- data-science
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
Versatile Go code generator.
- golang
- code-generator
- generics
- conditional-compilation
Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class
Lisp dialect implemented with Crystal
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
- lisp
- sublime-text
- flex-completion
- repl
Simple Email Parser
A very tiny and fast compose function.
The universal ISSR server compatible with <your-favorite-programming-language>
A simple embeddable scripting language which supports concurrent event processing.
- interpreter
- language
- embeddable-scripting-language
- object-oriented-programming
Fully typesafe, Rust-like Result and Option types for Python
- python3
- rust
- result-type
- rust-option
Implementation of Finger Tree in JavaScript.
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action