tianyicui / pfds-ocamlLinks
Okasaki's Purely Functional Data Structures in OCaml
☆40Updated 12 years ago
Alternatives and similar repositories for pfds-ocaml
Users that are interested in pfds-ocaml are comparing it to the libraries listed below
Sorting:
- a book about ocaml☆187Updated 8 years ago
- Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"☆153Updated 3 months ago
- Bytecode compiler of a variant of Caml☆34Updated 10 years ago
- C-style preprocessor for OCaml☆110Updated last week
- OCaml interpreter☆102Updated 6 years ago
- Data structures and algorithms in OCaml☆51Updated 2 months ago
- Go! Lisp in OCaml☆75Updated 13 years ago
- Minimalistic syntax extension for type-safe, convenient execution of SQL statements.☆84Updated 5 years ago
- A simple cross-platform OCaml code editor built for top-level evaluation.☆65Updated 2 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated last year
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆59Updated 14 years ago
- Examples and Exercises for the book "More OCaml"☆66Updated 3 years ago
- ☆86Updated 4 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 3 months ago
- A basic library of algorithms and data structures (a la NJlib)☆75Updated 7 months ago
- A pretty-printing combinator library for OCaml☆51Updated last year
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- An embeddable Lua 2.5 interpreter implemented in OCaml☆130Updated 7 months ago
- Pure OCaml implementation of Zlib.☆118Updated 10 months ago
- Preprocessor / Pretty Printer for OCaml☆76Updated last month
- OCaml implementation of the DNS protocol☆109Updated 2 weeks ago
- Abstract engine for text edition in OCaml☆122Updated 4 months ago
- Camlp4 tool☆102Updated last month
- An OCaml javascript kernel for the IPython notebook☆58Updated 8 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆66Updated 2 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆103Updated 10 years ago
- Standard ML compiler based on typed intermediate languages.☆49Updated 11 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆30Updated 6 years ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated last week