1. owi: Cross-language Bugfinder  github.com
   2025-03-11 20:59:46   #ml #formalmethods #code #new
2. GOSPEL: A tool-agnostic formal specification language for OCaml  github.com
   2022-09-04 10:34:41   #ml #formalmethods #code #new
3. Ceptre, a tiny logic programming language for prototyping rulesets that you can run, interact with  github.com
   2022-08-01 02:23:34   #ml #plt #code #new
4. Parallel ML benchmark suite  github.com
   2022-07-27 14:16:35   #ml #performance #code #new
5. The Programming Languages Zoo  plzoo.andrej.com
   2022-07-10 19:27:42   #ml #plt #new
6. MaPLe compiler for Parallel ML v0.3 Release Notes  github.com
   2022-06-26 21:05:46   #release #ml #code #new
7. gocaml: Practical statically typed functional programming language implementation with Go and LLVM  github.com
   2022-03-27 01:48:47   #go #ml #compilers #code #new

< 2 / 2 >