Alternatives and similar repositories for fan

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

• mflatt / gc-demo
  ☆87Updated 4 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 8 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 11 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 4 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 7 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆34Updated 2 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• johnwhitington / ocamli
  OCaml interpreter
  ☆102Updated 6 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆122Updated 3 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
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated last year
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 13 years ago
• bobzhang / ocaml-book
  a book about ocaml
  ☆187Updated 8 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 10 years ago
• ocaml / oasis
  Cabal like system for OCaml
  ☆130Updated 4 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• lindig / lua-ml
  An embeddable Lua 2.5 interpreter implemented in OCaml
  ☆127Updated 6 months ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆154Updated 4 years ago
• janestreet / sexplib
  Automated S-expression conversion
  ☆162Updated this week
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 years ago
• janestreet / async_kernel
  Jane Street Capital's asynchronous execution library (core)
  ☆57Updated this week
• mflatt / not-a-box
  ☆58Updated 8 years ago
• toddaaro / advanced-dan
  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
  ☆16Updated 12 years ago
• Tipoca / hlvm
  High-Level Virtual Machine for statically-typed functional languages.
  ☆48Updated 13 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 years ago
• epsil / gll
  General Parser Combinators in Racket
  ☆193Updated 9 years ago