10 results found Sort:
- Filter by Primary Language:
- OCaml (9)
- Prolog (1)
- +
Embeddable Lambda Prolog Interpreter
Created
2017-03-20
2,444 commits to master branch, last one a day ago
A static parser for POSIX Shell
Created
2017-10-16
750 commits to main branch, last one 6 months ago
Cap'n Proto RPC implementation
Created
2017-05-17
562 commits to master branch, last one 9 months ago
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Created
2016-02-06
657 commits to master branch, last one 9 days ago
OCaml Amqp client library for Async and Lwt.
Created
2015-09-15
439 commits to master branch, last one 25 days ago
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
Created
2013-11-25
1,568 commits to master branch, last one 5 days ago
Parallelize _anything_ //
Created
2017-06-12
233 commits to master branch, last one 8 months ago
TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
Created
2020-12-06
138 commits to main branch, last one 2 months ago
🦠 Reusable components based on algebraic effects
Created
2022-03-30
76 commits to main branch, last one 4 months ago
♾️ A library for universe levels and universe polymorphism
Created
2022-04-17
88 commits to main branch, last one 27 days ago