graninas / Haskell-Algorithms
Learning Haskell: algorithms, data structures, mini-programs, materials, excercises
☆17Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for Haskell-Algorithms
- The dependently & gradually typed Sage programming language☆9Updated 10 years ago
- Heyting Algebras in Haskell☆14Updated last year
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- programming languages invented/implemented by myself.☆8Updated last year
- Dafny for Metatheory of Programming Languages☆22Updated 2 weeks ago
- Public course materials for CSE 230 (Winter 2019)☆27Updated 3 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆28Updated last month
- A SuperCompiler for Martin-Löf's Type Theory☆119Updated 2 years ago
- TODO☆10Updated 9 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 7 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- ☆11Updated 2 weeks ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 7 years ago
- Backtracking monad in Haskell☆14Updated 2 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 5 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆20Updated 9 months ago
- MLpolyR☆7Updated 8 years ago
- Superposition prover☆16Updated last year
- some old code about scheme compiler I've ever wrote☆14Updated last year
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- Epic - a Supercombinator Compiler☆11Updated 14 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- SML The Living Language☆11Updated 10 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 11 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆33Updated 7 years ago