segmond / PrologThingz
Whatever prolog
☆16Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for PrologThingz
- Cleven is an experimental game engine with volume graphics written in Common Lisp.☆44Updated 7 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆39Updated 3 years ago
- Playing with Factor☆29Updated 3 years ago
- ☆22Updated 7 years ago
- combined object/lambda architcture☆25Updated 15 years ago
- Concise implementation of a lisp-like language for low-end and embedded devices☆99Updated 11 years ago
- The Pascal-F Verifier☆46Updated 7 years ago
- Schrödinger's Tcl☆30Updated 9 years ago
- APL compiler written in Standard ML☆35Updated 3 years ago
- okami is an application development platform☆33Updated 3 months ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆18Updated 8 years ago
- Common Lisp with Arc Macros and Procedures☆71Updated 8 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- An object-oriented dialect of Scheme☆59Updated 2 years ago
- Guy Steele's RABBIT Scheme compiler☆58Updated 15 years ago
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- The source-code of the free book "PicoLisp Works"☆62Updated 10 years ago
- Finds optimal code sequences for stack transformations☆23Updated 5 years ago
- A C implementation of the Shen programming language☆70Updated 2 years ago
- Libraries that clasp depends on☆13Updated 8 years ago
- A Forth interpreter implemented in Swift, based upon JONESFORTH☆39Updated 8 years ago
- Forth metacompiler written in Lisp, for bootstrapping☆43Updated 3 years ago
- A simplistic FORTH bootstrapped from x86 assembly language☆14Updated 7 years ago
- A Common Lisp implementation of the dataflow programming paradigm☆211Updated last year
- ☆18Updated 7 years ago
- a Heroku buildpack for deploying apps written in Racket☆27Updated 2 years ago
- Geneva: portable document preparation system☆9Updated 8 years ago