BranchTaken / Hemlock
Programming language
☆31Updated 2 months ago
Alternatives and similar repositories for Hemlock:
Users that are interested in Hemlock are comparing it to the libraries listed below
- L-system interpreter in OCaml☆22Updated 9 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- A Framework for building Batched Concurrent Services☆21Updated 3 months ago
- OCaml library for manipulating context-free grammars☆19Updated last week
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆52Updated last month
- Interactive memory profiler based on Memtrace☆29Updated 2 months ago
- Runtime assertion checking based on Gospel specifications☆44Updated 2 weeks ago
- LLIR cross-language post-link optimiser for OCaml and C☆16Updated 2 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago
- A small library to output memory graph for ocaml values☆36Updated 7 months ago
- A command-line text editor in OCaml.☆12Updated 5 years ago
- Experiment on how to bootstrap the OCaml compiler☆103Updated 2 years ago
- Getting started with ocaml-rs☆31Updated 5 months ago
- Binary protocol generator☆75Updated 2 months ago
- Functional Priority Search Queues for OCaml☆53Updated 10 months ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆38Updated 6 months ago
- Pure OCaml library to read and write tar files☆56Updated last week
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated 8 months ago
- An OCaml library providing a C parser and lexer☆40Updated 2 months ago
- Unix-specific portions of Core☆15Updated 2 months ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆17Updated 4 months ago
- A platform-agnostic multi-level index☆33Updated 8 months ago
- Software construction and deployment kit☆33Updated this week
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆32Updated last year
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆16Updated 3 weeks ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆15Updated 2 weeks ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Visualization tool for your IO-uring workload☆14Updated 5 months ago