A ML-like pure functional language that can be used as a template for creating your own language
☆33Jan 13, 2025Updated last year
Alternatives and similar repositories for millet
Users that are interested in millet are comparing it to the libraries listed below
Sorting:
- Extract snippets from code specified by comments.☆11Oct 22, 2024Updated last year
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- ☆16Jun 22, 2024Updated last year
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Feb 26, 2023Updated 3 years ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 8 years ago
- Unicode character database decoder for OCaml☆17Jan 2, 2026Updated 2 months ago
- [WIP] A small framework to build "electron app" using OCaml via Js_of_ocaml☆11Nov 10, 2022Updated 3 years ago
- Low-latency Overlog runtime☆18Jun 2, 2015Updated 10 years ago
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆16Feb 9, 2026Updated 3 weeks ago
- Combinatorial species in HoTT☆12May 23, 2015Updated 10 years ago
- First-order automated theorem prover based on the tableau method☆18Jan 3, 2026Updated 2 months ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- ♾️ A library for universe levels and universe polymorphism☆37Nov 21, 2025Updated 3 months ago
- Store the ATD/openapi/protobuf/... interfaces between semgrep components☆18Updated this week
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated last month
- ☆14Jun 7, 2024Updated last year
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- Emacs mode to edit OCaml files☆22Feb 27, 2025Updated last year
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- Raw bindings to platform APIs for OCaml☆16Mar 18, 2024Updated last year
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆24Updated this week
- ☆18May 21, 2019Updated 6 years ago
- eXtensible Component Verifier and Builder for Common-Lisp (mirrored from Common-Lisp.net) https://gitlab.common-lisp.net/xcvb/xcvb☆38Dec 24, 2020Updated 5 years ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆41Feb 26, 2026Updated last week
- CIS 6700, Spring 2023☆18Feb 15, 2023Updated 3 years ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Jan 6, 2026Updated last month
- Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI☆36Dec 5, 2022Updated 3 years ago
- Programming Language Foundations in Lean☆48Jul 22, 2025Updated 7 months ago
- Book about using Lean with How To Prove It☆26Dec 20, 2025Updated 2 months ago
- A sample syntax extension using OCaml's new extension points API.☆25Jul 5, 2024Updated last year
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆27Jan 10, 2025Updated last year
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆86Sep 13, 2021Updated 4 years ago
- Interactive holes for Lean 4☆22Apr 19, 2024Updated last year
- Owl's OCaml Interface to Eigen3 C++ Library☆33Jun 2, 2022Updated 3 years ago
- OCaml API search engine☆24Oct 27, 2016Updated 9 years ago
- A simple forum built on top of Dream, Caqti, Omd, Preface, Cmdliner and other useful OCaml libraries☆61Mar 6, 2023Updated 2 years ago
- Minimalistic logic programming framework☆22Feb 9, 2020Updated 6 years ago