Alternatives and similar repositories for ocaml99

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

• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆74Updated 10 months ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆49Updated 2 weeks ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• VictorNicollet / 99-Problems-OCaml
  Solving "99 List Problems" using Objective Caml
  ☆84Updated 6 years ago
• chris-taylor / SICP-in-Haskell
  ☆50Updated 12 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆34Updated 3 weeks ago
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆81Updated 9 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 12 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 15 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆52Updated 10 years ago
• hausdorff / pyli
  A Python 3 compiler that anyone can understand.
  ☆67Updated 10 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated 11 months ago
• stchang / redis
  A redis client for Racket.
  ☆17Updated 10 years ago
• orlandohill / peg-left-recursion
  An idea to handle left-recursion in Parsing Expression Grammars (PEGs)
  ☆36Updated 14 years ago
• geocar / qlua
  KDB bindings for lua
  ☆27Updated 5 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 7 years ago
• norswap / prolog-dry
  A terse Prolog course
  ☆43Updated 6 years ago
• stevanapter / hypercalc
  given a q table, create a view with calculated columns
  ☆12Updated 7 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• ocamllabs / 2048-tutorial
  OCaml tutorial based on the 2048 game
  ☆49Updated 8 years ago
• akeep / abstract-racket
  An abstract machine for analyzing Racket bytecode.
  ☆29Updated 4 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 10 years ago