☆91Feb 5, 2022Updated 4 years ago
Alternatives and similar repositories for Prog
Users that are interested in Prog are comparing it to the libraries listed below
Sorting:
- ☆51Jan 30, 2026Updated last month
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 5 years ago
- Small library for creating diffs and applying them☆21May 14, 2020Updated 5 years ago
- Modeling and Proving in Computational Type Theory☆120Aug 6, 2025Updated 7 months ago
- CS6868: Concurrent Programming☆32Updated this week
- Helping you select an MV* framework - Todo apps for Backbone.js, Ember.js, AngularJS, and many more☆21Mar 8, 2015Updated 11 years ago
- A safer FFI interface for OCaml☆11Jul 20, 2024Updated last year
- ☆13Sep 15, 2022Updated 3 years ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Jul 11, 2023Updated 2 years ago
- extract C reference manpages from SQLite header file☆13Jan 20, 2025Updated last year
- TensaLang is a Tensor-first programming language, compiler, and runtime that let you write the Model’s inference engine (e.g. LLMs) and s…☆71Feb 20, 2026Updated 2 weeks ago
- Messing with Postgres query execution and hook infrastructure.☆13Nov 19, 2023Updated 2 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆132Dec 20, 2024Updated last year
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆79Jan 20, 2022Updated 4 years ago
- The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution☆38Jun 16, 2025Updated 8 months ago
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆22Feb 13, 2026Updated 3 weeks ago
- Co-operative allocation of domains for OCaml☆15Jan 26, 2023Updated 3 years ago
- a book about ocaml☆188Apr 24, 2017Updated 8 years ago
- USTC OSH 2024 Course Homepage☆15May 17, 2024Updated last year
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- Let's write some Advent of Code in OCaml☆16Nov 28, 2023Updated 2 years ago
- Code for a tutorial on parsing with Menhir☆14Aug 25, 2021Updated 4 years ago
- Programs and Proofs -- Spring 2025 -- IITM☆20May 10, 2025Updated 10 months ago
- A Lean4 plugin for the Intellij Platform☆19Feb 27, 2026Updated last week
- AgileUML tools for MDE using UML☆21Updated this week
- A simple scheduler for OCaml 5☆133Feb 28, 2026Updated last week
- A traceable distributed computation framework☆23Oct 8, 2019Updated 6 years ago
- deployment for smlhelp page☆44Jun 14, 2025Updated 8 months ago
- ☆20Sep 24, 2016Updated 9 years ago
- Make your zero-knowledge circuits safe with formal verification! 🍀☆32Nov 27, 2025Updated 3 months ago
- A garden of small programming language implementations 🪴☆313Updated this week
- Having fun with core.async☆103Oct 5, 2013Updated 12 years ago
- Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library☆26Dec 21, 2021Updated 4 years ago
- Emacs support for OpenBSD's KNF (Kernel Normal Form aka style(9))☆17Oct 18, 2015Updated 10 years ago
- Coq code formatter☆24Jan 22, 2026Updated last month
- Lecture notes for teaching Haskell to those who want to read it☆55May 16, 2022Updated 3 years ago
- Test framework for OCaml☆35Updated this week
- Web site for standardml.org.☆36Oct 17, 2023Updated 2 years ago
- NUMA-aware multi-CPU multi-GPU data transfer benchmarks☆28Oct 26, 2023Updated 2 years ago