Alternatives and similar repositories for PrologThingz:

Users that are interested in PrologThingz are comparing it to the libraries listed below

• afainer / cleven
  Cleven is an experimental game engine with volume graphics written in Common Lisp.
  ☆45Updated 8 years ago
• xieyuheng / joy
  backup of the joy programming language
  ☆30Updated 9 years ago
• sbp / hedgehog
  Concise implementation of a lisp-like language for low-end and embedded devices
  ☆100Updated 11 years ago
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 15 years ago
• kstephens / maru
  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
• malisper / Clamp
  Common Lisp with Arc Macros and Procedures
  ☆74Updated 8 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆49Updated 7 years ago
• rongarret / gll-mag-patch
  ☆44Updated 7 years ago
• barak / oaklisp
  An object-oriented dialect of Scheme
  ☆59Updated 3 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆60Updated 16 years ago
• phantomics / seed
  Interactive software environment based on Common Lisp.
  ☆77Updated 2 weeks ago
• bjourne / playground-factor
  Playing with Factor
  ☆29Updated 3 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆51Updated 8 years ago
• aw / picolisp-nanomsg
  Nanomsg FFI Bindings for PicoLisp
  ☆20Updated 3 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆156Updated last month
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• jfo / sild
  Sild is a lisp dialect
  ☆43Updated 4 months ago
• arathnim / parmesan
  simple parser combinators for Common Lisp
  ☆25Updated 7 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆38Updated 13 years ago
• Conservatory / s7
  s7 Scheme
  ☆58Updated 6 years ago
• tj64 / picolisp-works
  The source-code of the free book "PicoLisp Works"
  ☆62Updated 10 years ago
• darius / cant
  A programming argot
  ☆58Updated last year
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 8 years ago
• eugeneia / erlangen
  Distributed, asychronous message passing system for Clozure Common Lisp
  ☆66Updated 7 years ago
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆120Updated 4 years ago
• kingcons / clones
  A WIP NES emulator, most dev happening on git.sr.ht/~kingcons once-more-with-feeling branch
  ☆34Updated 10 months ago
• zwizwa / staapl
  A Racket-based Forth / Macro Assembler on steroids for PIC18F
  ☆40Updated last year
• melvinzhang / bit-scheme
  BIT: A Very Compact Scheme System for Microcontrollers
  ☆44Updated 9 years ago