Alternatives and similar repositories for fomega

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

• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking

  View on GitHub
  A Toy Inverse Bidirectional Typechecker
  ☆32May 13, 2019Updated 6 years ago
• Ekdohibs / joujou

  View on GitHub
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆91Dec 10, 2018Updated 7 years ago
• lpw25 / girards-paradox

  View on GitHub
  A "implementation" of Girard's paradox in OCaml
  ☆110Apr 7, 2015Updated 10 years ago
• yallop / ocaml-asp

  View on GitHub
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆104May 16, 2025Updated 8 months ago
• samoht / depyt

  View on GitHub
  Yet another type combinator library
  ☆55Mar 10, 2022Updated 3 years ago
• backtracking / creal

  View on GitHub
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Jun 14, 2024Updated last year
• c-cube / mc2

  View on GitHub
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Jan 1, 2024Updated 2 years ago
• stedolan / linkage

  View on GitHub
  easy-to-use wrapper for OCaml's Dynlink
  ☆16Jan 9, 2017Updated 9 years ago
• lpw25 / implicits-module-system

  View on GitHub
  Work on modular implicits
  ☆25Oct 23, 2018Updated 7 years ago
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• ruhatch / mirage-btrees

  View on GitHub
  ☆12Apr 22, 2016Updated 9 years ago
• craigfe / generalised-signatures

  View on GitHub
  ☆12Mar 15, 2021Updated 4 years ago
• TheLortex / ocaml-maelstrom

  View on GitHub
  Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers
  ☆14Feb 26, 2023Updated 2 years ago
• voodoos / mlts

  View on GitHub
  ☆11Dec 9, 2022Updated 3 years ago
• monadius / ocaml_simple_interval

  View on GitHub
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10May 31, 2022Updated 3 years ago
• agda-attic / agda-ocaml

  View on GitHub
  OCaml backend for Agda
  ☆39Oct 4, 2018Updated 7 years ago
• jozefg / blott

  View on GitHub
  An experimental type checker for a modal dependent type theory.
  ☆116May 9, 2020Updated 5 years ago
• yallop / ocaml-charset

  View on GitHub
  Fast char sets
  ☆20May 5, 2025Updated 9 months ago
• JacquesCarette / finally-tagless

  View on GitHub
  Repo of the original work on finally tagless (and a lot of other metaocaml work besides)
  ☆43Nov 28, 2018Updated 7 years ago
• ecavallo / ptt

  View on GitHub
  Experimental type-checker for internally parametric type theory
  ☆32Mar 27, 2025Updated 10 months ago
• AndrasKovacs / system-f-omega

  View on GitHub
  System F-omega normalization by hereditary substitution in Agda
  ☆62Aug 31, 2019Updated 6 years ago
• yallop / ocaml-integers

  View on GitHub
  Various signed and unsigned integer types for OCaml
  ☆66Dec 7, 2024Updated last year
• jonsterling / tt

  View on GitHub
  secret project
  ☆17Mar 14, 2018Updated 7 years ago
• cfcs / ocaml-socks

  View on GitHub
  SOCKS4a and SOCKS5 (RFC 1928; RFC 1929) handling for ocaml clients and servers
  ☆20Jul 9, 2023Updated 2 years ago
• backtracking / hashset

  View on GitHub
  OCaml implementation of sets as hash tables by Jean-Christophe Filliatre
  ☆10Feb 13, 2025Updated last year
• rvantonder / hack-parallel-example

  View on GitHub
  An example project to demonstrate https://github.com/rvantonder/hack-parallel
  ☆13May 18, 2020Updated 5 years ago
• ciaran16 / shell

  View on GitHub
  Lets you create interactive shells in OCaml.
  ☆10Sep 13, 2016Updated 9 years ago
• Ahnfelt / AlgorithmWStepByStep

  View on GitHub
  Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.
  ☆11Sep 17, 2014Updated 11 years ago
• rizo / rego

  View on GitHub
  Reasonable Go.
  ☆10Aug 13, 2018Updated 7 years ago
• lpw25 / ocaml-typed-effects

  View on GitHub
  OCaml with typed algebraic effects
  ☆52Oct 12, 2018Updated 7 years ago
• yallop / staged-generic-programming

  View on GitHub
  Code for "Staged Generic Programming" (ICFP 2017)
  ☆28Sep 2, 2023Updated 2 years ago
• mit-plv / fiat

  View on GitHub
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆157Jan 27, 2026Updated 2 weeks ago
• polytypic / f-omega-mu

  View on GitHub
  Fωμ type checker and compiler
  ☆56Jan 28, 2023Updated 3 years ago
• janestreet / sexp_pretty

  View on GitHub
  S-expression pretty-printer
  ☆22Jan 15, 2026Updated last month
• tominated / system_f_omega

  View on GitHub
  My Attempt at System Fω with Row-Polymorphism
  ☆30Jul 4, 2021Updated 4 years ago
• yallop / ocaml-memcpy

  View on GitHub
  ☆21Dec 29, 2025Updated last month
• bobatkey / sott

  View on GitHub
  Simplified Observational Type Theory
  ☆87May 5, 2023Updated 2 years ago
• rlepigre / ocaml-bindlib

  View on GitHub
  Efficient binder representation in OCaml
  ☆43Jul 5, 2024Updated last year