tianyicui / pfds-ocamlLinks
Okasaki's Purely Functional Data Structures in OCaml
☆40Updated 13 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 2 weeks ago
- Bytecode compiler of a variant of Caml☆34Updated 10 years ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- Examples from the class CMSC 330 during Summer 2015☆49Updated 10 years ago
- OCaml interpreter☆102Updated 6 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 4 months ago
- Accompanying code for "Types and Programming Languages", ported to Standard ML☆30Updated 10 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆103Updated 10 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- Compile-time metaprogramming for OCaml☆75Updated last year
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated last year
- Minimalistic syntax extension for type-safe, convenient execution of SQL statements.☆85Updated 5 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- C-style preprocessor for OCaml☆110Updated 3 weeks ago
- Instructions for setting up an OCaml development environment☆97Updated 5 years ago
- Pure OCaml implementation of Zlib.☆118Updated 11 months ago
- Standard ML compiler based on typed intermediate languages.☆50Updated 11 years ago
- Library for incremental computations depending only on Core_kernel☆47Updated 7 years ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆60Updated 14 years ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated 3 weeks ago
- An embeddable Lua 2.5 interpreter implemented in OCaml☆130Updated 2 weeks ago
- Library of Raft consensus algorithm implemented in OCaml☆30Updated 2 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆68Updated 2 years ago
- Preprocessor / Pretty Printer for OCaml☆76Updated 2 months ago
- Examples and Exercises for the book "More OCaml"☆66Updated 3 years ago
- A pretty-printing combinator library for OCaml☆51Updated last year
- ☆87Updated 5 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…☆109Updated 2 years ago
- Wiki for compiler hacking sessions☆90Updated 8 years ago