segmond / PrologThingzLinks
Whatever prolog
☆16Updated 10 years ago
Alternatives and similar repositories for PrologThingz
Users that are interested in PrologThingz are comparing it to the libraries listed below
Sorting:
- Concise implementation of a lisp-like language for low-end and embedded devices☆100Updated 12 years ago
- The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF☆107Updated 7 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆57Updated 9 years ago
- Cleven is an experimental game engine with volume graphics written in Common Lisp.☆48Updated 9 years ago
- sxc is an 'S-Expression C' transpiler for generating C code using macros written in Common Lisp☆216Updated 2 years ago
- A C implementation of the Shen programming language☆70Updated 4 years ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆41Updated 4 years ago
- A bare-bones academic wiki with LaTeX and (multi)markdown support☆71Updated 10 years ago
- An object-oriented dialect of Scheme☆61Updated 3 weeks ago
- A Verilog dialect supercharged by the Racket meta-fairies.