Explore projects

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

VueJS client of the SKRID platform, a web interface designated to explore musical patterns in music scores

forked from verus-lang/verus

forked from isker/neogrok

forked from golang/go

forked from denzha24/kumify

forked from tailscale/golink

learn a useful language