vituscze / norriLinks
☆9Updated last year
Alternatives and similar repositories for norri
Users that are interested in norri are comparing it to the libraries listed below
Sorting:
- Staged compilation with dependent types☆178Updated 3 months ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- C++ library for semigroups and monoids☆62Updated last week
- Effective Algebraic Topology in Haskell☆91Updated 10 months ago
- An equational theorem prover based on Knuth-Bendix completion☆52Updated last month
- The formal proof of the Odd Order Theorem☆31Updated last month
- embedding MLIR in LEAN☆47Updated last year
- Personal research notes☆17Updated 9 months ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆123Updated last year
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- A database of small finite categories☆14Updated last year
- A compiler for functional programs on serialized data☆166Updated last month
- Demo for dependent types + runtime code generation☆70Updated 5 months ago
- hspp: An experimental library to bring Haskell Style Programming to C++.☆166Updated 2 years ago
- Hoare Type Theory☆77Updated last month
- Formally verified implementation of Alive in Lean☆36Updated 2 years ago
- Library for proving propositions quantified over finite sets☆14Updated 2 years ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆79Updated 6 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Commutative diagrams with TikZ☆54Updated 2 years ago
- Effect handlers in C++☆124Updated last year
- Convert Haskell source code to Coq source code.☆86Updated last month
- Fast equality saturation in Haskell☆86Updated 3 weeks ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Lecture notes on realizability☆74Updated 5 months ago
- Mathematics of Rigid Body Transformationss using Coq and MathComp☆27Updated last week
- A book about functional programming in Lean☆42Updated last year
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 3 weeks ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year