A pure type system implemented in OCaml
☆79Jan 3, 2021Updated 5 years ago
Alternatives and similar repositories for pure
Users that are interested in pure are comparing it to the libraries listed below
Sorting:
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- Simple and type-safe dataframe api implemented in pure ocaml☆24Apr 24, 2021Updated 4 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 4 years ago
- A higher-level httpaf server interface☆12Aug 18, 2020Updated 5 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year
- Self-adjusting computations☆23Oct 9, 2023Updated 2 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated 9 months ago
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 3 years ago
- A dependent type theory with user defined data types☆47Oct 1, 2021Updated 4 years ago
- QOI image codec for OCaml (unreleased)☆11Jan 2, 2026Updated 2 months ago
- ☆12Mar 15, 2021Updated 4 years ago
- Serialization formats toolkit for OCaml (unreleased)☆13Jan 2, 2026Updated 2 months ago
- 👹 A library for hierarchical names and lexical scoping☆26Nov 21, 2025Updated 3 months ago
- Total Parser Combinators in Coq [maintainer=@womeier]☆49Jul 19, 2025Updated 7 months ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Aug 30, 2019Updated 6 years ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated last year
- Higher kinded polymorphism in SML☆15Sep 2, 2020Updated 5 years ago
- ☆16Feb 18, 2025Updated last year
- An OCaml library for creating pandoc filters.☆32Oct 9, 2024Updated last year
- Fωμ type checker and compiler☆56Jan 28, 2023Updated 3 years ago
- preprocessor for easier stub generation with ocaml-ctypes☆57Nov 18, 2022Updated 3 years ago
- My Attempt at System Fω with Row-Polymorphism☆30Jul 4, 2021Updated 4 years ago
- ☆21Mar 15, 2016Updated 9 years ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- S-expression pretty-printer☆22Jan 15, 2026Updated last month
- An OCaml library for describing and simulating synchronous finite state machines")☆33Mar 30, 2021Updated 4 years ago
- A Toy Inverse Bidirectional Typechecker☆32May 13, 2019Updated 6 years ago
- Efficient binder representation in OCaml☆43Jul 5, 2024Updated last year
- ARCHIVED. [@@deriving] plugin to generate Python conversion functions☆34Nov 21, 2024Updated last year
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Feb 27, 2022Updated 4 years ago
- A block breaking game☆11Sep 5, 2022Updated 3 years ago
- unloading modules with ocaml native☆16Dec 13, 2020Updated 5 years ago
- OCaml.org v3 data repository☆13Sep 14, 2021Updated 4 years ago
- Enables HTTP file uploads and form processing in OCaml web applications.☆14Jun 19, 2024Updated last year
- Strongly typed multidimensional array library for OCaml☆53Jan 27, 2025Updated last year
- A pipeline that deploys unikernels and other services☆23Jul 25, 2025Updated 7 months ago
- 👁️ A tool to execute a certain command when a target file is modified.☆15Jan 17, 2023Updated 3 years ago