Coq plugin for parametricity [maintainer=@proux01]

Coq44other

4 months ago

coqcoq-cicoq-platform

This is the official source code of FreeCAD, a free and opensource multiplatform

C++20162other

18 hours ago

3d3d-printingarchitecture

a parametric variable font by David Berlow

344ofl-1.1

2 years ago

fontvariations-font

🍜 Parametrized JSON logging library in Golang which lets you obfuscate sensitiv

Go44apache-2.0

2 years ago

gogolanggolang-library