segmond / PrologThingz
Whatever prolog
☆16Updated 9 years ago
Alternatives and similar repositories for PrologThingz
Users that are interested in PrologThingz are comparing it to the libraries listed below
Sorting:
- okami is an application development platform☆35Updated 9 months ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- The Pascal-F Verifier☆49Updated 7 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆40Updated 3 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- A programming argot☆58Updated last year
- A C implementation of the Shen programming language☆70Updated 3 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- ☆73Updated 10 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆52Updated 8 years ago
- A concise programming language that is fun to use☆16Updated 9 years ago
- simple parser combinators for Common Lisp☆25Updated 7 years ago
- The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF☆107Updated 6 years ago
- An object-oriented dialect of Scheme☆59Updated 3 years ago
- A Scheme (R7RS) implementation written in D☆59Updated 6 years ago
- backup of the joy programming language☆30Updated 9 years ago
- Playing with Factor☆29Updated 4 years ago
- Concise implementation of a lisp-like language for low-end and embedded devices☆100Updated 11 years ago
- Cleven is an experimental game engine with volume graphics written in Common Lisp.☆45Updated 8 years ago
- Plot Cookbook☆50Updated 2 years ago
- Common Lisp with Arc Macros and Procedures☆74Updated 8 years ago
- a Heroku buildpack for deploying apps written in Racket☆27Updated 3 years ago
- Don't Lisp, Talk!☆57Updated last year
- A just-in-time-compiling forth system using libfirm.☆57Updated 8 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- A simplistic FORTH bootstrapped from x86 assembly language☆15Updated 8 years ago
- A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub☆50Updated this week
- minimal lisp that compiles to x86☆10Updated 8 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 11 years ago