graninas / Haskell-Algorithms
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
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- The dependently & gradually typed Sage programming language☆9Updated 10 years ago
- An absurdly tiny Lisp interpreter in OCaml☆30Updated 13 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 8 years ago
- some old code about scheme compiler I've ever wrote☆14Updated last year
- Proof that Haskell can look and act like an imperative language.☆73Updated 12 years ago
- Exercism exercises in Coq.☆18Updated 2 months ago
- Heyting Algebras in Haskell☆14Updated 2 years ago
- Functors, Monads and Free Monads in C++☆18Updated last year
- A SuperCompiler for Martin-Löf's Type Theory☆119Updated 3 years ago
- A Hello World program in Coq.☆17Updated 2 years ago
- αProlog☆17Updated last year
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 7 years ago
- MLpolyR☆7Updated 8 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- Alef Lazily Evaluates Functions☆31Updated 11 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 5 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Updated 4 years ago
- TCP Realisation of Network.Transport☆29Updated 4 months ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆16Updated 2 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 4 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Updated 5 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆15Updated 2 years ago