☆12Jan 6, 2023Updated 3 years ago
Alternatives and similar repositories for f-omega
Users that are interested in f-omega are comparing it to the libraries listed below
Sorting:
- Convert OCaml Types between different major versions☆14May 23, 2022Updated 3 years ago
- ☆20Oct 4, 2023Updated 2 years ago
- ☆17Feb 18, 2026Updated 2 weeks ago
- Fωμ type checker and compiler☆56Jan 28, 2023Updated 3 years ago
- OCaml bindings for libpg_query☆22Jan 6, 2025Updated last year
- a big mono repo for ocaml☆19Feb 23, 2026Updated 2 weeks ago
- Simple twitch bot made with Go - Study purpose☆18Oct 13, 2021Updated 4 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 3 months ago
- Compositional JSON encode/decode library and PPX for Melange and OCaml☆23Dec 14, 2025Updated 2 months ago
- 🦄 Front-end build with React, Relay and GraphQL☆22Oct 30, 2025Updated 4 months ago
- My Attempt at System Fω with Row-Polymorphism☆30Jul 4, 2021Updated 4 years ago
- for learning purposes☆18Feb 4, 2026Updated last month
- Algebraic structures in OCaml.☆25Nov 21, 2025Updated 3 months ago
- SubML (prototype) language☆22Mar 20, 2022Updated 3 years ago
- A CHIP8 emulator written in OCaml☆25Mar 4, 2022Updated 4 years ago
- OCaml support☆32Feb 25, 2026Updated last week
- remarcaml is a markup language that's actually just ocaml in disguise☆27Sep 18, 2023Updated 2 years ago
- My personal blog☆62Updated this week
- Experimental type-checker for internally parametric type theory☆32Mar 27, 2025Updated 11 months ago
- Compiler for a very restricted subset of OCaml☆25Jan 4, 2016Updated 10 years ago
- Revery Workshop Materials☆38Jun 29, 2020Updated 5 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Nov 21, 2025Updated 3 months ago
- A simple implementation of linear type theory☆39Apr 21, 2017Updated 8 years ago
- Integrating ReasonReact with Erratique's React!☆36Dec 23, 2024Updated last year
- A toy implementation of the bitcoin protocol in ocaml.☆35Dec 15, 2015Updated 10 years ago
- AlgoArt.org is a digital platform that brings together Artists and Technologists to create algorithmically generated visual designs and a…☆12Dec 1, 2025Updated 3 months ago
- MATLAB/Octave generator of Hamming ECC coding. Output format is Verilog HDL.☆12Dec 27, 2022Updated 3 years ago
- 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
- POSIX time for OCaml☆41Feb 13, 2026Updated 3 weeks ago
- this https://github.com/PoorlyDefinedBehaviour/cuphead in the browser☆35Mar 1, 2023Updated 3 years ago
- Setoid type theory implementation☆40Aug 24, 2023Updated 2 years ago
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆49Sep 23, 2025Updated 5 months ago
- Like detective conan, find clue about the type of the file☆55Mar 2, 2026Updated last week
- XCP toolstack domain manager☆16Mar 5, 2024Updated 2 years ago
- Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform☆10Sep 17, 2024Updated last year
- logic file system☆27Mar 16, 2018Updated 7 years ago
- Soul - an esoteric concatenative language☆12Apr 30, 2024Updated last year
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- A smart contract language for Tezos☆12Mar 25, 2022Updated 3 years ago