ljedrz / blcLinks
Binary lambda calculus
☆10Updated 7 years ago
Alternatives and similar repositories for blc
Users that are interested in blc are comparing it to the libraries listed below
Sorting:
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- An extended typed Lambda Calculus☆21Updated 10 months ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- A Scheme to Unlambda compiler☆18Updated 8 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Updated 3 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 7 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated last month
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- A tiny CPU☆20Updated 16 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- An Image Dictionary for Co-dfns☆14Updated 8 years ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- Certified proof checker for Fitch-style propositional logic proofs☆7Updated last year
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- Simple Neural Network Examples in 8 lines APL☆31Updated 2 years ago
- Haskell binding for PADS☆19Updated 6 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- koneko - a concatenative not-quite-lisp for kittens☆24Updated 9 months ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 7 years ago
- SECD Machine Implementation in x86 Assembly☆24Updated 11 years ago
- software archaeology of reflective towers of interpreters☆16Updated 2 weeks ago
- Your happy place for learning APL☆16Updated 2 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Updated 6 months ago