bobzhang/fan external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

bobzhang/fan

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/bobzhang/fan)

Close

bobzhang / fanView on GitHubMore

• External links
• Readme badge

Compile-time metaprogramming for OCaml

☆75Aug 5, 2024Updated last year

Alternatives and similar repositories for fan

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

• rizo / ppx_rule

  View on GitHub
  Compile-time rewrite rules for OCaml
  ☆16Jan 15, 2016Updated 10 years ago
• ilyasergey / plt-redex-fj

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

  View on GitHub
  Moana implementation in OCaml
  ☆16Jul 15, 2015Updated 10 years ago
• bobzhang / ocaml-book

  View on GitHub
  a book about ocaml
  ☆188Apr 24, 2017Updated 8 years ago
• samoht / assemblage

  View on GitHub
  A collection of tools to manage the configuration of OCaml projects
  ☆53Aug 19, 2015Updated 10 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
• jcouyang / alacarte

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

  View on GitHub
  Arena allocator for Python objects.
  ☆14Apr 25, 2020Updated 5 years ago
• kyagrd / tiper

  View on GitHub
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Jun 24, 2020Updated 5 years ago
• metaocaml / ber-metaocaml

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

  View on GitHub
  ☆18Mar 13, 2023Updated 2 years ago
• GaloisInc / reopt-vcg

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

  View on GitHub
  Modern Compiler Implementation in ML
  ☆11May 7, 2017Updated 8 years ago
• ilyasergey / monadic-cfa

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

  View on GitHub
  A parser generator generator
  ☆19May 17, 2023Updated 2 years ago
• fxfactorial / lambda-invaders

  View on GitHub
  OCaml based version of space-invaders
  ☆14Aug 27, 2015Updated 10 years 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
• jonasbb / petgraph-graphml

  View on GitHub
  GraphML output generator for petgraph
  ☆20Dec 24, 2025Updated 2 months ago
• MarisaKirisame / reflection

  View on GitHub
  ☆18Mar 14, 2016Updated 9 years ago
• wonks / wonks.github.io

  View on GitHub
  PL Wonks website
  ☆13Jan 28, 2026Updated last month
• grant-olson / why_stackless

  View on GitHub
  A long form introduction and tutorial to Stackless Python.
  ☆22Jan 25, 2014Updated 12 years ago
• manshengyang / minikanren-ocaml

  View on GitHub
  miniKanren in OCaml
  ☆31May 5, 2023Updated 2 years ago
• xguerin / ppx_bitstring

  View on GitHub
  PPX plugin for the OCAML OPAM bitstring package
  ☆16Jan 10, 2018Updated 8 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
• pveber / bistro

  View on GitHub
  A library to build and execute typed scientific workflows
  ☆49Updated this week
• akabe / evilml

  View on GitHub
  A compiler from ML to C++ template language
  ☆157Aug 27, 2015Updated 10 years ago
• Ucombinator / jaam

  View on GitHub
  JVM Abstracting Abstract Machine
  ☆25Jan 29, 2019Updated 7 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
• OUPL / MLCert

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

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

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

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

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

  View on GitHub
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Jun 10, 2016Updated 9 years ago