philzook58 / fib-anyon
An implementation of Fibonacci Anyons in Haskell
☆22Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for fib-anyon
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆25Updated 10 months ago
- Combinatorial species in HoTT☆12Updated 9 years ago
- Mathematical stories☆13Updated 3 years ago
- Deposited packages of the homalg project☆12Updated last month
- A certified semantics for relational programming workout.☆25Updated 4 years ago
- Algebraic Combinatorics in Coq☆36Updated last month
- A Unifying Cartesian Cubical Set Model☆33Updated 5 years ago
- Implementation of Nuprl's type theory in Coq☆44Updated 3 years ago
- Monoidal Toposes of Grammars and Semantic Actions☆16Updated this week
- Linear map categories in Agda☆5Updated last year
- Research material of Erik Palmgren (1963–2019)☆20Updated last year
- A Logical Relation for Martin-Löf Type Theory in Agda☆45Updated last month
- A fornalisation of Grobner basis in ssreflect☆12Updated last year
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- Specification of the Cedille Core language☆29Updated 4 years ago
- Two-Level Type Theory☆27Updated 4 years ago
- An equational theorem prover based on Knuth-Bendix completion☆49Updated 5 months ago
- A cost-aware logical framework, embedded in Agda.☆55Updated 2 months ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Verifying encodings into propositional logic in Lean☆12Updated last year
- ☆44Updated last year
- ☆11Updated 7 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆38Updated 2 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 5 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆33Updated 5 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆24Updated 4 years ago
- Lenses in Coq☆16Updated 2 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- A proof of Abel-Ruffini theorem.☆28Updated 2 months ago