Alternatives and similar repositories for PTTP

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

• jar398 / pseudoscheme
  Scheme to Common Lisp
  ☆20Updated 2 years ago
• nilqed / SNARK
  SNARK - SRI's New Automated Reasoning Kit
  ☆19Updated 11 months ago
• cl-model-languages / cl-prolog2
  Common Interface to ISO Prolog implementations from Common Lisp
  ☆39Updated 4 years ago
• Henry / EuLisp
  Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations
  ☆64Updated 14 years ago
• robert-strandh / Bootstrap-Common-Lisp
  An implementation of Common Lisp with the sole purpose of bootstrapping other implementations.
  ☆60Updated 4 years ago
• jar398 / w7
  Hacks related to dissertation
  ☆13Updated 6 years ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆23Updated 5 years ago
• hoelzl / Clicc
  The Clicc Common Lisp implementation (version 0.6.4)
  ☆19Updated 12 years ago
• barak / oaklisp
  An object-oriented dialect of Scheme
  ☆61Updated 2 weeks ago
• g000001 / Starlisp-simulator
  *Lisp simulator
  ☆28Updated 12 years ago
• wadehennessey / wcl
  ☆82Updated 8 years ago
• earl-kent / cl-garnet
  Old, but suprisingly complete toolkit with no dependancies on other non-lisp libraries.
  ☆58Updated 4 years ago
• craigl64 / clim2
  The Common Lisp Interface Manager
  ☆25Updated 9 years ago
• ury-marshak / kr
  Prototype object system for Common Lisp and more. KR: Constraint-Based Knowledge Representation
  ☆15Updated last year
• DalekBaldwin / clometa
  An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.
  ☆15Updated 10 years ago
• LdBeth / star-lisp
  A *LISP emulator
  ☆35Updated 5 years ago
• pkhuong / Pipes
  A traversal fusion EDSL for Common Lisp
  ☆23Updated 3 years ago
• sjl / temperance
  A logic programming library for Common Lisp.
  ☆64Updated 5 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆26Updated last year
• blakemcbride / LISPF4
  InterLisp interpreter
  ☆69Updated 11 months ago
• plops / clicc
  from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/
  ☆20Updated 9 years ago
• blakemcbride / LispEdit
  Common Lisp Structure Editor
  ☆25Updated last year
• blakemcbride / PSL
  Portable Standard Lisp
  ☆55Updated last month
• logicmoo / wam_common_lisp
  Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…
  ☆102Updated 4 years ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆125Updated 9 months ago
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆55Updated last month
• sellout / YACC-is-dead
  YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)
  ☆40Updated last year
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• darius / cant
  A programming argot
  ☆57Updated last year
• amosjyng / nlu
  Natural language construction grammar parser
  ☆10Updated 10 years ago