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
25–32 of 32 · Most stars
Versatile Go code generator.
- golang
- code-generator
- generics
- conditional-compilation
Clojure-style concurrency operations in Common Lisp
A utility library to write code in functional programming style in Javascript
- functor
- monads
- curry
- composition
Styled Component for yew
Run DuckDB inside Excel VBA: pandas-style analytics via in-process SQL + native C bridge. High-speed Range/Array ingestion, Parquet/CSV/JSON I/O.
JS style promises added to GML, as well as an abundant number of async functions which can now return a promise.
CSS3 parser, selector and style engine for ActionScript 3.0.