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 this week
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Functors, Monads and Free Monads in C++☆18Updated last year
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 8 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 8 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Alice ML implementation☆17Updated 2 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Updated 3 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 5 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- Tiger Compiler from Modern Compiler Implementation in ML☆24Updated 8 years ago
- Compile Haskell-like code into C++ template metaprograms☆59Updated 9 years ago
- sandbox for my c++ functional programming experiments☆33Updated 11 years ago
- ☆13Updated last month
- A pattern match macro for chez-scheme☆18Updated 8 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- The dependently & gradually typed Sage programming language☆9Updated 11 years ago
- RLU resizable hash-table☆17Updated 9 years ago
- SOM - Simple Object Machine☆23Updated last week
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- Heyting Algebras in Haskell☆14Updated 2 years ago
- The 2015 ICFP Programming Contest☆7Updated 9 years ago
- ☆19Updated 8 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆121Updated 3 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 11 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Updated 5 years ago