MarisaKirisame / lambda_calculusLinks
☆14Updated 9 years ago
Alternatives and similar repositories for lambda_calculus
Users that are interested in lambda_calculus are comparing it to the libraries listed below
Sorting:
- ☆19Updated 9 years ago
- Just a prototype, but will be improved soon.☆22Updated 10 years ago
- ☆59Updated 7 years ago
- ☆25Updated 8 years ago
- https://openpal.github.io/TypeAndProof/☆99Updated 8 years ago
- Pearls of Functional Algorithm Design☆67Updated 10 years ago
- Code for my blog☆11Updated 8 years ago
- C++ 2z from beginner to abdicator☆9Updated 8 years ago
- This is source code of my book.☆67Updated 8 years ago
- CN MonaD.ReadeR Reading Group☆107Updated 9 years ago
- Learn You a Lambda, a Haskell Tutorial☆47Updated 8 years ago
- Lisp Flavoured C++☆29Updated 4 years ago
- ☆50Updated 12 years ago
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Updated 13 years ago
- This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…☆40Updated 6 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.☆30Updated 6 years ago
- A Lisp Interpreter Written in C++ Template☆73Updated 4 years ago
- the compiler for the Cm programming language☆31Updated 7 years ago
- ML-style pattern matching in C++.☆29Updated 6 years ago
- A naive θ..θ programming language☆27Updated 6 years ago
- write a little simply typed functional language to practice Rust☆15Updated last year
- Complete raw OpenGL bindings for Haskell☆93Updated 3 months ago
- The Dragon Virtual Machine.☆10Updated 7 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- A handy tool to help design and parse your own language☆21Updated 2 years ago
- Parser combinator demos for QCon 2015☆21Updated 9 years ago
- Yet another scheme compiler... This time generating shitty code.☆17Updated 12 years ago
- This repo keeps track of my codes, answers and thinkings when exploring books.☆31Updated last year
- Lisp interpreter☆10Updated 10 years ago