Alternatives and similar repositories for durin

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

• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 10 years ago
• liam923 / remora
  A dependently-typed, array-polymorphic language that runs on parallel architectures
  ☆24Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆65Updated 3 weeks ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆117Updated 3 weeks ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆111Updated 3 years ago
• contificate / match
  Match compilation algorithm in OCaml
  ☆31Updated 9 months ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 5 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 8 months ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆17Updated 7 years ago
• prismlab / verified_ocaml_gc
  For Jar artifacts
  ☆19Updated last month
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆74Updated 2 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆67Updated 2 years ago
• thamugadi / semantic-preservation
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆12Updated last year
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆40Updated last month
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆13Updated 2 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆119Updated this week
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 7 months ago
• dinosaure / bob
  A peer-to-peer file-transfer tool in OCaml
  ☆144Updated 7 months ago
• hmac / kite
  A Haskell-like language for scripting and web apps
  ☆14Updated last year
• thamugadi / call-cc-krivine
  A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.
  ☆15Updated last year
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆93Updated 8 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆82Updated 2 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• nathanfarlow / c-of-ocaml
  Compile OCaml to standalone ANSI C file
  ☆45Updated this week
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆96Updated 3 years ago
• dinosaure / esperanto
  build-once run-anywhere OCaml programs
  ☆139Updated 5 months ago
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆60Updated last year
• harp-lab / slog-lang1
  Slog 1.0
  ☆45Updated last year
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆32Updated 6 years ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical sets
  ☆30Updated this week