Alternatives and similar repositories for ocaml99

Users that are interested in ocaml99 are comparing it to the libraries listed below

• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆32Updated 7 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆127Updated 12 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 7 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆74Updated last year
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• VictorNicollet / 99-Problems-OCaml
  Solving "99 List Problems" using Objective Caml
  ☆84Updated 7 years ago
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆34Updated 4 months ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆198Updated 3 years ago
• namin / io.livecode.ch
  interactive programming tutorials, powered by Github and Docker
  ☆143Updated 4 months ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆86Updated 15 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆34Updated 4 years ago
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 7 years ago
• Cirru / cirru-script-editor
  [Deprecated] using respo-cirru-editor instead
  ☆30Updated 9 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆219Updated 2 years ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 2 years ago
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆51Updated 2 months ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆272Updated 11 months ago
• cosmoharrigan / pyrolog
  Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog
  ☆24Updated 11 years ago
• pkrumins / the-reasoned-schemer
  All the logic programming code examples from the book "The Reasoned Schemer"
  ☆52Updated 15 years ago
• donaldsonjw / bigloo
  Bigloo Scheme Compiler
  ☆12Updated 9 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆124Updated 12 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆17Updated 3 months ago
• strangeloop / StrangeLoop2014
  Strange Loop 2014 archives
  ☆188Updated 10 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆115Updated 8 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• norswap / prolog-dry
  A terse Prolog course
  ☆43Updated 6 years ago