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:
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆34Updated 7 years ago
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Updated 6 months ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- A SKI combinators interpreter written in assembly☆19Updated 4 years ago
- SECD Machine Implementation in x86 Assembly☆24Updated 10 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 3 weeks ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Audio library for BQN☆19Updated last year
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- A Scheme to Unlambda compiler☆18Updated 7 years ago
- An Impractical Stack Language☆14Updated 4 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Updated 3 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆18Updated 11 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- ☆18Updated 5 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 8 years ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆17Updated 5 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 3 years ago
- Vermicel is a minimal RISC-V core.☆9Updated 10 months ago
- ☆24Updated 3 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 10 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆11Updated 4 years ago
- An implementation of interaction nets as a forth-like language.☆33Updated 3 weeks ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago