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:
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- Tiny Object Run Time☆24Updated 10 years ago
- META II compiler, assembler and bytecode interpreter.☆17Updated 6 years ago
- ☆57Updated 8 years ago
- Le-Lisp by INRIA☆34Updated 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 8 months ago
- Fast, simplified WAM-based Prolog system☆24Updated 4 months ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- Official Sagittarius Scheme repository☆53Updated this week
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆91Updated 4 years ago
- Java-based lightweight Prolog virtual machine☆34Updated last year
- Learning Constraint Programming with Picat☆41Updated 2 weeks ago
- ALS Prolog Compiler & Development Environment☆16Updated 2 weeks ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆19Updated 9 years ago
- ☆26Updated 3 weeks ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last week
- 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…☆56Updated 3 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
- An efficient, portable and secure general-purpose virtual machine and virtual network using libable☆27Updated 2 years ago
- FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7☆53Updated last year
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆29Updated 3 years ago
- Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.☆23Updated 2 years ago
- A simple incomplete Scheme-to-C compiler☆73Updated last month
- okami is an application development platform☆38Updated last month
- s7 Scheme☆58Updated 6 years ago
- Freeputer ( ) [ ] { } forever free☆40Updated 7 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago