10 results found Sort:
- Filter by Primary Language:
- OCaml (9)
- Prolog (1)
- +
Embeddable Lambda Prolog Interpreter
Created
2017-03-20
2,660 commits to master branch, last one 8 days ago
A static parser for POSIX Shell
Created
2017-10-16
750 commits to main branch, last one about a year ago
Cap'n Proto RPC implementation
Created
2017-05-17
628 commits to master branch, last one 18 days ago
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Created
2016-02-06
659 commits to master branch, last one 2 months ago
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
Created
2013-11-25
1,920 commits to master branch, last one a day ago
OCaml Amqp client library for Async and Lwt.
Created
2015-09-15
439 commits to master branch, last one 6 months ago
Parallelize _anything_ //
Created
2017-06-12
233 commits to master branch, last one about a year 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 8 months ago
🦠 Reusable components based on algebraic effects
Created
2022-03-30
77 commits to main branch, last one 5 months ago
♾️ A library for universe levels and universe polymorphism
Created
2022-04-17
91 commits to main branch, last one 15 days ago