A LaTeX package for proof carrying papers
☆24Dec 8, 2016Updated 9 years ago
Alternatives and similar repositories for claims
Users that are interested in claims are comparing it to the libraries listed below
Sorting:
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- A transducer library for Rust☆10May 22, 2016Updated 9 years ago
- Racket bindings for Z3☆24May 11, 2019Updated 6 years ago
- ☆15Apr 16, 2021Updated 4 years ago
- Medic Package☆10Nov 8, 2015Updated 10 years ago
- Demo: OS sandboxing for unsafe code in Rust☆13Mar 10, 2015Updated 10 years ago
- ☆13May 25, 2021Updated 4 years ago
- an implementation of a microKanren(-like language) in miniKanren☆27Aug 1, 2014Updated 11 years ago
- An experiment in re-implementing big integers in Haskell.☆40Dec 9, 2022Updated 3 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆17Dec 9, 2020Updated 5 years ago
- My website!☆16Sep 10, 2018Updated 7 years ago
- Compute order statistics☆15Sep 16, 2023Updated 2 years ago
- A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.☆21Mar 19, 2015Updated 10 years ago
- ☆22Oct 20, 2025Updated 4 months ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆22Aug 25, 2017Updated 8 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Sep 17, 2025Updated 5 months ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆25Mar 7, 2016Updated 9 years ago
- Coq utility and tactic library.☆27Dec 9, 2023Updated 2 years ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- A Haskell parser for JVM bytecode files☆39Jan 12, 2024Updated 2 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- DEPRICATED☆32May 21, 2018Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41May 1, 2018Updated 7 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆31Dec 11, 2023Updated 2 years ago
- Ergonomic trie data structure☆27Oct 30, 2018Updated 7 years ago
- ☆58May 5, 2017Updated 8 years ago
- Fun plugin to play with the Gallina AST.☆39Oct 3, 2019Updated 6 years ago
- Functional, Persistent Data Structures in Rust☆51Nov 21, 2014Updated 11 years ago
- rwlock with writer priority and optimistic reads☆33Feb 1, 2015Updated 11 years ago
- ☆24Nov 9, 2017Updated 8 years ago
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Jun 12, 2019Updated 6 years ago
- Luck -- A Language for Property-Based Generators☆36Feb 28, 2025Updated last year
- A Emacs major mode for editing Hack code☆15Feb 7, 2026Updated 3 weeks ago
- Probabilistic computation in Idris☆33Jul 2, 2019Updated 6 years ago
- System POSIX bindings for Idris.☆36Jan 5, 2019Updated 7 years ago
- Embedding of some of SQL into Racket☆34Mar 24, 2022Updated 3 years ago
- What I Wish I Knew While Learning Nix☆34Dec 9, 2021Updated 4 years ago
- Take an info.rkt file, produce a info.nix file.☆45Apr 7, 2021Updated 4 years ago
- Assignments for the cryptography engineering course☆12Dec 17, 2013Updated 12 years ago