Coq plugin for parametricity [maintainer=@proux01]

Other

paramcoq

a parametric variable font by David Berlow

SIL Open Font License 1.1

amstelvar

This is the official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

FreeCAD

🍜 Parametrized JSON logging library in Golang which lets you obfuscate sensitive data and marshal any kind of content.

Apache License 2.0

noodlog

Support vector machines (SVMs) and related kernel-based learning algorithms are a well-known class of machine learning algorithms, for non-parametric classification and regression. liquidSVM is an implementation of SVMs whose key features are: fully integrated hyper-parameter selection, extreme speed on both small and large data sets, full flexibility for experts, and inclusion of a variety of different learning scenarios: multi-class classification, ROC, and Neyman-Pearson learning, and least-squares, quantile, and expectile regression.