Repository Index

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

• coq
• bourbaki
• set-theory
• mathcomp

A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe

A natural language parser for validating complex date ranges

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀

• pipe
• pipeline
• kleisli
• ramda

A utility library to write code in functional programming style in Javascript

• functor
• monads
• curry
• composition

Styled Component for yew

• css
• wasm
• web
• yew

Javascript recursion schemes compatible with flow-static-land

A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.

• algorand
• blockchain
• cryptocurrency
• domain-specific-language

A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

• coq
• vst
• compcert
• graph-algorithms

A Mustache template compiler.

• mustache
• translator
• compiler

A web framework for writing react components in common lisp using jscl

Static & dynamic D bindings to the FreeType library, compatible with BetterC, @nogc, and nothrow.

• bindbc
• dlang
• freetype
• freetype-bindings

Micropython wrapper for FastLZ, a lightning-fast lossless compression library

Clojure-compatible threading/transformation/arrow macros for Common Lisp

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

• coq
• mathcomp
• ssreflect
• tarjan-algorithm

TML Object Pascal Components

Static & dynamic D bindings to the C API of Lua, compatible with BetterC, @nogc, and nothrow.

• bindbc
• lua
• lua-bindings
• dlang

Experiment to compile something Elm-ish to Wasm

Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:

• concurrency
• async-await
• reactive-programming
• streams

GML VM and Compiler built inside of GML with the long term goal to be able to compile any project folder.

Less compiler for golang

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

• coq
• complex-analysis
• real-analysis

GNAT Components Collection – Bindings to C libraries