GunterMueller / KLICLinks
KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"
☆14Updated last year
Alternatives and similar repositories for KLIC
Users that are interested in KLIC are comparing it to the libraries listed below
Sorting:
- Common Lisp DSL for building untyped lambda calculus expressions☆26Updated 10 months ago
- Le-Lisp by INRIA☆34Updated 2 years ago
- Guy Steele's RABBIT Scheme compiler☆61Updated 16 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 13 years ago
- Pico version of revised⁷ report on the algorithmic language scheme☆31Updated 9 months ago
- Tiny Object Run Time☆24Updated 10 years ago
- ☆26Updated last month
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Updated 11 years ago
- META II compiler, assembler and bytecode interpreter.☆17Updated 6 years ago
- Freeputer ( ) [ ] { } forever free☆40Updated 7 years ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆20Updated 9 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 9 months ago
- Official Sagittarius Scheme repository☆54Updated this week
- Poplog☆21Updated 14 years ago
- ☆57Updated 8 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆91Updated 4 years ago
- The RScheme Revival Project☆33Updated 15 years ago
- Java-based lightweight Prolog virtual machine☆34Updated last year
- okami is an application development platform☆38Updated 2 months ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆18Updated 5 years ago
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆56Updated 3 years ago
- combined object/lambda architcture☆25Updated 16 years ago
- Lisp evaluator in the LIsp for Zick's Lisp implementations☆56Updated 4 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last month
- Joel Bartlett's fabled Scheme->C system☆82Updated 5 years ago
- Fast, simplified WAM-based Prolog system☆24Updated 5 months ago
- An object-oriented dialect of Scheme☆61Updated 3 years ago
- An efficient, portable and secure general-purpose virtual machine and virtual network using libable☆28Updated 2 years ago
- MLWorks is a Standard ML compiler and development environment.☆181Updated 7 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago