Alternatives and similar repositories for f-omega

Users that are interested in f-omega are comparing it to the libraries listed below

• EduardoRFS / ocaml-migrate-types

  View on GitHub
  Convert OCaml Types between different major versions
  ☆14May 23, 2022Updated 3 years ago
• EduardoRFS / anti-study-study-group

  View on GitHub
  ☆20Oct 4, 2023Updated 2 years ago
• ligolang / ligo

  View on GitHub
  ☆17Jan 22, 2026Updated 3 weeks ago
• polytypic / f-omega-mu

  View on GitHub
  Fωμ type checker and compiler
  ☆56Jan 28, 2023Updated 3 years ago
• roddyyaga / pg_query-ocaml

  View on GitHub
  OCaml bindings for libpg_query
  ☆22Jan 6, 2025Updated last year
• tjdevries / monocle

  View on GitHub
  a big mono repo for ocaml
  ☆17Feb 23, 2025Updated 11 months ago
• melange-community / melange-json

  View on GitHub
  Compositional JSON encode/decode library and PPX for Melange and OCaml
  ☆23Dec 14, 2025Updated 2 months ago
• rafaelbreno / go-bot

  View on GitHub
  Simple twitch bot made with Go - Study purpose
  ☆18Oct 13, 2021Updated 4 years ago
• RedPRL / kado

  View on GitHub
  🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
  ☆22Nov 20, 2025Updated 2 months ago
• tominated / system_f_omega

  View on GitHub
  My Attempt at System Fω with Row-Polymorphism
  ☆30Jul 4, 2021Updated 4 years ago
• PoorlyDefinedBehaviour / data-structures-and-algorithms

  View on GitHub
  for learning purposes
  ☆18Feb 4, 2026Updated last week
• biantris / graphql-relay-web

  View on GitHub
  🦄 Front-end build with React, Relay and GraphQL
  ☆22Oct 30, 2025Updated 3 months ago
• smimram / ocaml-alg

  View on GitHub
  Algebraic structures in OCaml.
  ☆25Nov 21, 2025Updated 2 months ago
• linoscope / caml8

  View on GitHub
  A CHIP8 emulator written in OCaml
  ☆25Mar 4, 2022Updated 3 years ago
• rlepigre / subml

  View on GitHub
  SubML (prototype) language
  ☆22Mar 20, 2022Updated 3 years ago
• zed-extensions / ocaml

  View on GitHub
  OCaml support
  ☆32Feb 9, 2026Updated last week
• tjdevries / remarca.ml

  View on GitHub
  remarcaml is a markup language that's actually just ocaml in disguise
  ☆27Sep 18, 2023Updated 2 years ago
• noghartt / blog

  View on GitHub
  My personal blog
  ☆62Updated this week
• ecavallo / ptt

  View on GitHub
  Experimental type-checker for internally parametric type theory
  ☆32Mar 27, 2025Updated 10 months ago
• skrah / minicaml

  View on GitHub
  Compiler for a very restricted subset of OCaml
  ☆25Jan 4, 2016Updated 10 years ago
• RedPRL / algaett

  View on GitHub
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆37Nov 21, 2025Updated 2 months ago
• revery-ui / revery-workshop

  View on GitHub
  Revery Workshop Materials
  ☆38Jun 29, 2020Updated 5 years ago
• neel-krishnaswami / linearml

  View on GitHub
  A simple implementation of linear type theory
  ☆39Apr 21, 2017Updated 8 years ago
• Denommus / react-react

  View on GitHub
  Integrating ReasonReact with Erratique's React!
  ☆36Dec 23, 2024Updated last year
• LaurentMazare / btc-ocaml

  View on GitHub
  A toy implementation of the bitcoin protocol in ocaml.
  ☆35Dec 15, 2015Updated 10 years ago
• Algorithmically-Generated-Artwork / Drawing-Program

  View on GitHub
  AlgoArt.org is a digital platform that brings together Artists and Technologists to create algorithmically generated visual designs and a…
  ☆12Dec 1, 2025Updated 2 months ago
• iDoka / hdl-secded-producer

  View on GitHub
  MATLAB/Octave generator of Hamming ECC coding. Output format is Verilog HDL.
  ☆11Dec 27, 2022Updated 3 years ago
• Ujs74wiop6 / Cplusplus-For-Beginners

  View on GitHub
  Based on introductory materials from college, help from professors, friends, videos and content from the internet. The [Cplusplus-For-Beg…
  ☆12May 24, 2023Updated 2 years ago
• dbuenzli / ptime

  View on GitHub
  POSIX time for OCaml
  ☆41Jan 9, 2026Updated last month
• PoorlyDefinedBehaviour / browser-cuphead

  View on GitHub
  this https://github.com/PoorlyDefinedBehaviour/cuphead in the browser
  ☆35Mar 1, 2023Updated 2 years ago
• johnyob / dromedary

  View on GitHub
  Dromedary is an experimental subset of OCaml, using constraint-based type inference!
  ☆49Sep 23, 2025Updated 4 months ago
• mirage / conan

  View on GitHub
  Like detective conan, find clue about the type of the file
  ☆55Nov 29, 2025Updated 2 months ago
• AndrasKovacs / sett

  View on GitHub
  Setoid type theory implementation
  ☆38Aug 24, 2023Updated 2 years ago
• meteor / mongodb-builder

  View on GitHub
  Docker image for building MongoDB for Linux from source.
  ☆12Feb 14, 2025Updated last year
• OCamlPro / digodoc

  View on GitHub
  Dig into an opam switch for doc
  ☆10Apr 8, 2022Updated 3 years ago
• dakk / yallo-lang

  View on GitHub
  A smart contract language for Tezos
  ☆12Mar 25, 2022Updated 3 years ago
• aryx / lfs

  View on GitHub
  logic file system
  ☆27Mar 16, 2018Updated 7 years ago
• xapi-project / xenopsd

  View on GitHub
  XCP toolstack domain manager
  ☆16Mar 5, 2024Updated last year
• egel-lang / soul

  View on GitHub
  Soul - an esoteric concatenative language
  ☆12Apr 30, 2024Updated last year