bobzhang / fan
Compile-time metaprogramming for OCaml
☆72Updated 7 months ago
Alternatives and similar repositories for fan:
Users that are interested in fan are comparing it to the libraries listed below
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- miniKanren in OCaml☆31Updated last year
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- A pretty-printing combinator library for OCaml☆49Updated 7 months ago
- Wiki for ocaml compiler internals☆45Updated 11 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- An embeddable Lua 2.5 interpreter implemented in OCaml☆125Updated last week
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- Toy compiler implementation in OCaml☆20Updated 9 years ago
- ☆38Updated 5 years ago
- A small implementation of type inference☆78Updated 9 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 2 months ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- ☆85Updated 4 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆102Updated 11 months ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- Distributed computing library☆35Updated 6 years ago
- A practical LLVM backend for OCaml (will never be finished)☆34Updated 10 years ago
- Library for incremental computations depending only on Core_kernel☆47Updated 6 years ago
- Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCa…☆107Updated last year
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 4 years ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated 3 months ago
- (Nominal) Adapton in OCaml☆52Updated 8 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Updated 12 years ago
- Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…☆46Updated last year