A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.
☆25Sep 22, 2022Updated 3 years ago
Alternatives and similar repositories for tiger
Users that are interested in tiger are comparing it to the libraries listed below
Sorting:
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Sep 7, 2013Updated 12 years ago
- Constrained Application Protocol (RFC 7252) implementation for OCaml.☆12Apr 3, 2024Updated last year
- Static Analysis Results Interchange Format (SARIF) For OCaml☆14Mar 13, 2025Updated 11 months ago
- Format string experimentations☆13Jul 19, 2021Updated 4 years ago
- OCaml bindings to Minisat☆12May 6, 2024Updated last year
- OCaml bindings to Windows' IOCP API☆17Apr 19, 2023Updated 2 years ago
- 6502 chip simulator in OCaml☆13Mar 14, 2024Updated last year
- A toolset for describing and simulating StateChart-like state diagrams.☆27Dec 30, 2025Updated 2 months ago
- A simple BDD library for OCaml☆13May 20, 2025Updated 9 months ago
- Purely functional iterators compatible with standard `seq`.☆31Dec 6, 2023Updated 2 years ago
- Define Grafana dashboards with ReasonML☆18Jan 31, 2020Updated 6 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Nov 26, 2016Updated 9 years ago
- OCaml implementation of histogram-approximation algorithm☆15Oct 28, 2022Updated 3 years ago
- OCaml bindings for the PKCS#11 cryptographic API☆23Feb 11, 2023Updated 3 years ago
- An HTTP client for accessing various carbon intensity APIs☆25Nov 26, 2024Updated last year
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Jun 3, 2022Updated 3 years ago
- OpenSSL bindings to OCaml EIO☆20Jun 25, 2024Updated last year
- Convert a cmi file back to an mli interface☆20Jan 18, 2015Updated 11 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Sep 2, 2024Updated last year
- 👹 A library for hierarchical names and lexical scoping☆26Nov 21, 2025Updated 3 months ago
- A high-performance server for Irmin☆24Oct 1, 2022Updated 3 years ago
- Binding to jQuery (for js_of_ocaml)☆25Nov 19, 2012Updated 13 years ago
- Algorithms to layout trees in a pretty manner.☆36Mar 7, 2022Updated 3 years ago
- Implementation of SMTP protocols in OCaml☆46Updated this week
- Printf-style format-strings for user-defined string conversion☆23Jan 15, 2026Updated last month
- RPC client/server for Irmin☆19Aug 5, 2021Updated 4 years ago
- Arbitrary-precision decimal based on Zarith☆19Jan 15, 2026Updated last month
- Library for tokenizing code with TextMate grammars☆12Jan 4, 2024Updated 2 years ago
- The Ensemble distributed communications toolkit☆13Jul 26, 2020Updated 5 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- Serialization formats toolkit for OCaml (unreleased)☆13Jan 2, 2026Updated 2 months ago
- A ppx that takes in css strings and produces a module for accessing the unique names defined within.☆16Jan 15, 2026Updated last month
- OCaml bindings to stb_truetype, a public domain truetype font rasterizer☆10Jan 13, 2023Updated 3 years ago
- OCaml bindings for the Integer Set Library.☆13Jun 12, 2014Updated 11 years ago
- OCaml Serial Module☆11Oct 5, 2024Updated last year
- ☆13Jan 30, 2026Updated last month
- Final Year Project - A probabilisitic programming language in OCaml☆14May 10, 2020Updated 5 years ago