bobzhang / fanLinks
Compile-time metaprogramming for OCaml
☆73Updated 9 months ago
Alternatives and similar repositories for fan
Users that are interested in fan are comparing it to the libraries listed below
Sorting:
- Library for incremental computations depending only on Core_kernel☆48Updated 6 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- (Nominal) Adapton in OCaml☆54Updated 9 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- Distributed computing library☆35Updated 6 years ago
- An embeddable Lua 2.5 interpreter implemented in OCaml☆125Updated 2 months ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- A pretty-printing combinator library for OCaml☆51Updated 9 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Wiki for ocaml compiler internals☆46Updated 11 years ago
- A small implementation of type inference☆78Updated 10 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- ☆10Updated 9 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 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
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- OCaml bindings for D3.js☆75Updated 7 years ago
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆15Updated 12 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- The Mechanization of Standard ML☆73Updated 2 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 4 months ago
- My Own Linear Lisp☆40Updated 6 years ago