Follow @
OH
License: lgpl21le
M
Mostly written in C
License: bsd, gpl
Mostly written in Haskell
License: BSD-3-Clause
License: gpl
Mostly written in Racket
License: lgpl21
Mostly written in Python
License: expat
T
Mostly written in Ruby
F
Mostly written in Java
License: apache_2
Mostly written in OCaml
License: Unknown
P
License: lgpl2_0
License: lgpl
L
Mostly written in coq
License: lgpl21_or_later