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☆177Updated 2 months ago
- Personal research notes☆16Updated 9 months ago
- A compiler for functional programs on serialized data☆164Updated last month
- Effective Algebraic Topology in Haskell☆91Updated 10 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
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆78Updated 5 months ago
- embedding MLIR in LEAN☆47Updated last year
- An equational theorem prover based on Knuth-Bendix completion☆52Updated last week
- Effect handlers in C++☆123Updated last year
- hspp: An experimental library to bring Haskell Style Programming to C++.☆166Updated 2 years ago
- A formal proof of the independence of the continuum hypothesis☆131Updated 10 months ago
- Accelerated machine learning with dependent types☆95Updated last week
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated 3 weeks ago
- The formal proof of the Odd Order Theorem☆31Updated 2 weeks ago
- A Verified Compiler for Gallina, Written in Gallina☆153Updated 2 weeks ago
- Hoare Type Theory☆77Updated last month
- High level commands to declare a hierarchy based on packed classes☆99Updated last week
- Agda lecture notes for the Functional Programming course at TU Delft☆127Updated last year
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- Write C shims from within Lean code.☆64Updated last month
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆81Updated 3 years ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆123Updated 5 months ago
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆212Updated 2 weeks ago
- Reference type checker for the Lean theorem prover☆16Updated 7 years ago
- The adventures of a Haskell compiler☆227Updated 2 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- A database of small finite categories☆14Updated last year
- Fast equality saturation in Haskell☆84Updated this week
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Lecture notes on realizability☆74Updated 4 months ago