A ppx rewriter that generates hash functions from type expressions and definitions
☆16Jul 10, 2026Updated 3 months ago
Alternatives and similar repositories for ppx_hash
Users that are interested in ppx_hash are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Nov 21, 2019Updated 6 years ago
- Library for finding the CRC of parts of various kinds of data in-place☆11Jul 5, 2024Updated 2 years ago
- Self-adjusting computations☆23Oct 9, 2023Updated 3 years ago
- ☆13Sep 15, 2022Updated 4 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- S-expression pretty-printer☆22Jul 10, 2026Updated 3 months ago
- Deprecated, use ocaml-ppx/ppxlib instead☆13Mar 29, 2018Updated 8 years ago
- OCaml backend for Agda☆40Oct 4, 2018Updated 8 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆13May 15, 2017Updated 9 years ago
- Generate Shell Phrases In OCaml☆47Dec 15, 2021Updated 4 years ago
- Llama2 inference in one file of pure OCaml.☆26Sep 16, 2023Updated 3 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 3 years ago
- A minimalist implementation of type theory, suitable for experimentation☆16Jun 13, 2026Updated 4 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 5 years ago
- Fintie Sets in Cubical Agda☆13Aug 30, 2019Updated 7 years ago
- Actor model implemented in OCaml - early alpha☆10Jun 5, 2020Updated 6 years ago
- Experiments with preordered set models of (directed) type theories☆16Jul 10, 2019Updated 7 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆11Feb 13, 2025Updated last year
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated 2 years ago
- A formalization of Pure Type Systems (PTS) in Agda☆28Jul 3, 2025Updated last year
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- NumLin: Linear Types for Linear Algebra☆23Jan 21, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆17Dec 10, 2019Updated 6 years ago
- A CSS parser written in OCaml☆31Sep 1, 2021Updated 5 years ago
- ☆18Updated this week
- [beta] High-level wrapper around ocaml-sqlite3☆19Apr 28, 2022Updated 4 years ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 4 years ago
- What do you mean?☆49Oct 27, 2026Updated last week
- Formalization of Categories with Families☆16Oct 4, 2021Updated 5 years ago
- Multiparty Session Types in OCaml☆62Nov 1, 2024Updated 2 years ago
- IO using sized types and copatterns☆36Apr 14, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Trivial/Tagless Polytypic Functions☆24Apr 14, 2020Updated 6 years ago
- ☆18May 10, 2022Updated 4 years ago
- A PBT framework☆10Jul 19, 2025Updated last year
- A framework for implementing and certifying impure computations in Coq☆54Jan 16, 2024Updated 2 years ago
- ☆16Dec 28, 2021Updated 4 years ago
- Tiny concurrent I/O and promises library☆13Aug 7, 2026Updated 2 months ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32May 5, 2026Updated 5 months ago