The dynamic infrastructure framework for everybody! Distribute the workload of m

Shell3841mit

17 days ago

axiombug-bountydnsgen

HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut

Go904mit

4 months ago

axiomdata-structuresgo

A formalization of geometry in Coq based on Tarski's axiom system

Coq160lgpl-3.0

6 months ago

archimedescontinuitycoq

An axiom-free formalization of category theory in Coq for personal study and pra

Coq716bsd-3-clause

6 months ago

cartesiancartesian-closed-categorycategories

a micro-framework for web applications in Erlang

Erlang265mit

last year