Alternatives and similar repositories for fan

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

• ilyasergey / plt-redex-fj

  View on GitHub
  A PLT Redex implementation of Featherweight Java
  ☆17Oct 8, 2012Updated 13 years ago
• jcouyang / alacarte

  View on GitHub
  Data Types a la carte from PureScript -> JavaScript
  ☆13Apr 19, 2017Updated 8 years ago
• j0sh / ocaml-gensqlite

  View on GitHub
  OCaml ppx preprocessor to generate SQLite3 prepared statements and query functions
  ☆12Nov 17, 2015Updated 10 years ago
• kyagrd / tiper

  View on GitHub
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Jun 24, 2020Updated 5 years ago
• mfp / ld.ocaml

  View on GitHub
  Dynamic loader for OCaml
  ☆14Dec 11, 2009Updated 16 years ago
• metaocaml / ber-metaocaml

  View on GitHub
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆70May 6, 2025Updated 9 months ago
• andir / infra

  View on GitHub
  ☆18Mar 13, 2023Updated 2 years ago
• formal-land / coq-of-ts

  View on GitHub
  Formal verification for TypeScript
  ☆24Jan 27, 2023Updated 3 years ago
• GaloisInc / reopt-vcg

  View on GitHub
  A translation verifier for Reopt (https://github.com/GaloisInc/reopt)
  ☆20Sep 20, 2021Updated 4 years ago
• ilyasergey / monadic-cfa

  View on GitHub
  Generic implementation of different CFA families based on monadic decomposition
  ☆23Jan 16, 2013Updated 13 years ago
• themattchan / tiger

  View on GitHub
  Modern Compiler Implementation in ML
  ☆11May 7, 2017Updated 8 years ago
• fxfactorial / lambda-invaders

  View on GitHub
  OCaml based version of space-invaders
  ☆14Aug 27, 2015Updated 10 years ago
• dyoo / ragg

  View on GitHub
  A parser generator generator
  ☆19May 17, 2023Updated 2 years ago
• MarisaKirisame / reflection

  View on GitHub
  ☆18Mar 14, 2016Updated 9 years ago
• grant-olson / why_stackless

  View on GitHub
  A long form introduction and tutorial to Stackless Python.
  ☆22Jan 25, 2014Updated 12 years ago
• wonks / wonks.github.io

  View on GitHub
  PL Wonks website
  ☆13Jan 28, 2026Updated 2 weeks ago
• weidagang / line-parser-js

  View on GitHub
  A meta-data driven command line parser for Node.js
  ☆50Jan 21, 2014Updated 12 years ago
• sacado / arc2c

  View on GitHub
  Arc Lisp to C compiler
  ☆33Aug 13, 2008Updated 17 years ago
• xguerin / ppx_bitstring

  View on GitHub
  PPX plugin for the OCAML OPAM bitstring package
  ☆16Jan 10, 2018Updated 8 years ago
• mcclure / ppx_const

  View on GitHub
  A PPX syntax extension for the OCaml programming language. Adds a compile-time "if" statement.
  ☆21Nov 20, 2020Updated 5 years ago
• chrismamo1 / show-volume

  View on GitHub
  A simple volume indicator utility for the i3 desktop environment (i3bar) interfacing with `pactl`
  ☆15Mar 31, 2016Updated 9 years ago
• ku-fpg / hermit

  View on GitHub
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆52Jan 12, 2023Updated 3 years ago
• nany-lang / nanyc

  View on GitHub
  Official compiler for the Nany Programming Language {read-only mirror from gitlab}
  ☆12May 26, 2018Updated 7 years ago
• dvanhorn / oaam

  View on GitHub
  Optimizing Abstract Abstract Machines
  ☆31Apr 6, 2017Updated 8 years ago
• akabe / evilml

  View on GitHub
  A compiler from ML to C++ template language
  ☆157Aug 27, 2015Updated 10 years ago
• ifsheldon / async-openai-wasm

  View on GitHub
  Async Rust library for OpenAI and others on WASM
  ☆21Dec 2, 2025Updated 2 months ago
• Ucombinator / jaam

  View on GitHub
  JVM Abstracting Abstract Machine
  ☆25Jan 29, 2019Updated 7 years ago
• ilyasergey / reachability

  View on GitHub
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Nov 24, 2015Updated 10 years ago
• billsix / bug

  View on GitHub
  Bill's Utilities for Gambit Scheme
  ☆17Oct 6, 2020Updated 5 years ago
• eatonphil / owebl

  View on GitHub
  OCaml, Meet Web.
  ☆157Oct 8, 2015Updated 10 years ago
• SMLFamily / SML-The-Living-Language

  View on GitHub
  SML, The Living Language (aka, Successor ML)
  ☆72Apr 4, 2016Updated 9 years ago
• dasmithii / imp

  View on GitHub
  scripting language - dynamic, duck-typed, prototypal
  ☆15Jan 14, 2016Updated 10 years ago
• andrewray / iocamljs

  View on GitHub
  An OCaml javascript kernel for the IPython notebook
  ☆58Sep 3, 2017Updated 8 years ago
• OUPL / MLCert

  View on GitHub
  Certified Machine Learning
  ☆41Mar 10, 2021Updated 4 years ago
• texodus / forml

  View on GitHub
  A programming language
  ☆77May 21, 2013Updated 12 years ago
• camlp4 / camlp4

  View on GitHub
  Camlp4 tool
  ☆103Oct 6, 2025Updated 4 months ago
• eduAguilar96 / Swordsmen

  View on GitHub
  ITESM project
  ☆10Dec 5, 2016Updated 9 years ago
• brownplt / LambdaS5

  View on GitHub
  Semantics for ES5
  ☆82Oct 28, 2015Updated 10 years ago
• larskuhtz / wai-cors

  View on GitHub
  A Haskell implementation of Cross-Origin resource sharing (CORS) for Wai
  ☆26Apr 3, 2023Updated 2 years ago