kayceesrk / ocaml-tutorialLinks
OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)
☆15Updated 6 years ago
Alternatives and similar repositories for ocaml-tutorial
Users that are interested in ocaml-tutorial are comparing it to the libraries listed below
Sorting:
- Collect profiling information☆18Updated 2 years ago
- Minimalistic logic programming framework☆22Updated 6 years ago
- ☆38Updated 6 years ago
- Pure OCaml library to read and write tar files☆55Updated last week
- List of bindings in OCaml to cordova plugins.☆26Updated 9 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 6 months ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆56Updated last year
- An easy interface on top of the Irmin library.☆43Updated 5 years ago
- Relational programming for OCaml (unreleased)☆24Updated 3 years ago
- Testing and benchmarking tool for logic-related programs.☆28Updated 10 months ago
- Resilient replicant Shell Programming Library☆36Updated 8 years ago
- ☆49Updated 4 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- A DSL to invoke otherworldly functors☆63Updated 3 years ago
- Parsing library based on Earley Algorithm☆18Updated 7 months ago
- Reading and writing zip and gzip files from OCaml☆44Updated 7 months ago
- Plan9 software ported to OCaml☆36Updated this week
- A tool that creates stand-alone source bundles from opam packages☆27Updated 2 years ago
- multipart/form-data (RFC2388) parser for OCaml☆19Updated 5 years ago
- OCaml BitTorrent library and client☆42Updated 3 years ago
- Library for incremental computations depending only on Core_kernel☆47Updated 7 years ago
- Stub code generator for OCaml/C interface☆36Updated 6 months ago
- Off-the-record (OTR) messaging protocol, purely in OCaml☆39Updated last year
- Extensible binary data format, like JSON but faster☆43Updated 3 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆45Updated 6 years ago
- B-tree (Bayer, not binary) library in OCaml☆40Updated 4 years ago
- Implementations of common streaming abstractions in OCaml.☆12Updated 9 years ago
- Functional Priority Search Queues for OCaml☆53Updated last year
- DAFT Allows File Transfers☆23Updated 3 years ago
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Updated last year