graninas / Haskell-AlgorithmsLinks
Learning Haskell: algorithms, data structures, mini-programs, materials, excercises
☆17Updated 5 years ago
Alternatives and similar repositories for Haskell-Algorithms
Users that are interested in Haskell-Algorithms are comparing it to the libraries listed below
Sorting:
- some old code about scheme compiler I've ever wrote☆14Updated 2 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 8 years ago
- The dependently & gradually typed Sage programming language☆9Updated 11 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Updated 4 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆121Updated 3 years ago
- A Hello World program in Coq.☆17Updated 3 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- Heyting Algebras in Haskell☆14Updated 2 years ago
- ☆73Updated 11 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 5 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 6 months ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆15Updated 12 years ago
- Backtracking monad in Haskell☆14Updated 3 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆26Updated 10 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Updated 2 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- MLpolyR☆7Updated 8 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated last month
- A Haskell implementation of the tiger compiler☆10Updated 5 years ago
- LVC verified compiler☆57Updated 6 years ago