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:
- ☆26Updated last week
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- Tiny Object Run Time☆24Updated 10 years ago
- Le-Lisp by INRIA☆31Updated 2 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Updated 9 months ago
- Pico version of revised⁷ report on the algorithmic language scheme☆31Updated 7 months ago
- ☆57Updated 8 years ago
- Fast, simplified WAM-based Prolog system☆24Updated 3 months ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- Poplog☆21Updated 14 years ago
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆55Updated 3 years ago
- Java-based lightweight Prolog virtual machine☆34Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆91Updated 4 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆19Updated 9 years ago
- META II compiler, assembler and bytecode interpreter.☆17Updated 6 years ago
- okami is an application development platform☆38Updated 2 weeks ago
- Learning Constraint Programming with Picat☆40Updated 3 weeks ago
- Official Sagittarius Scheme repository☆53Updated this week
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Updated 11 years ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Updated 12 years ago
- ☆18Updated 6 years ago
- A simple incomplete Scheme-to-C compiler☆70Updated 3 weeks ago
- An efficient, portable and secure general-purpose virtual machine and virtual network using libable☆27Updated 2 years ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆119Updated 4 months ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 16 years ago
- Freeputer ( ) [ ] { } forever free☆40Updated 7 years ago
- MLWorks is a Standard ML compiler and development environment.☆181Updated 7 years ago