ocamllabs / compiler-hackingLinks
Wiki for compiler hacking sessions
☆90Updated 7 years ago
Alternatives and similar repositories for compiler-hacking
Users that are interested in compiler-hacking are comparing it to the libraries listed below
Sorting:
- Cabal like system for OCaml☆130Updated 4 years ago
- Staged metaprogramming in stock OCaml☆152Updated last year
- Detect common errors in OCaml code☆68Updated 6 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆65Updated last year
- A new reference manual for the ocamlbuild tool☆67Updated 9 years ago
- Dead-code analyzer for OCaml☆89Updated 5 months ago
- Tools for authors of ppx rewriters☆134Updated last year
- Now part of the atd repo☆44Updated 8 years ago
- OCaml interpreter☆101Updated 5 years ago
- A modular sat/smt solver with proof output.☆99Updated last year
- Higher-kinded programming in OCaml☆183Updated last year
- A simple monadic parser combinator library for OCaml☆67Updated 2 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 5 months ago
- An example of a simple project in OCaml that uses Merlin☆36Updated 10 years ago
- Automated S-expression conversion☆158Updated last week
- MessagePack implementation for OCaml / msgpack.org[OCaml]☆45Updated 2 years ago
- Reagents for multicore OCaml☆126Updated 2 years ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated last week
- A benchmark suite for the OCaml compiler☆83Updated 9 months ago
- OCaml bindings for D3.js☆75Updated 7 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last month
- Private extraction of astrada's lens library☆57Updated 4 years ago
- Simple template for midsize OCaml project☆125Updated 5 months ago
- OCaml Math Library☆120Updated 7 years ago
- Generation of S-expression conversion functions from type definitions☆91Updated last week
- OPAM repo for OCaml multicore development☆51Updated 3 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 7 years ago
- Various signed and unsigned integer types for OCaml☆66Updated 6 months ago
- OCaml with macros☆58Updated last week
- OCaml backend for Agda☆40Updated 6 years ago