Follow @
OH
I
Mostly written in coq
License: Unknown
License: lgpl
Mostly written in Scala
License: Creative_Commons_NoncommercialShare_Alike-deleted
Mostly written in Matlab
License: gpl
S
Mostly written in Nix
Mostly written in C
Mostly written in Java
License: BSD-3-Clause
M
License: bsd
Mostly written in Haskell
Mostly written in OCaml
Mostly written in Emacs Lisp
License: gpl3_or_later
Mostly written in Lua
License: Latex_Project_Public_License
License: CoreSystemIV, Distributable
Mostly written in shell script