Alternatives and similar repositories for logicpy:

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

• ryansb / bookmarkd
  Markdown -> IPython conversion tool
  ☆15Updated 10 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated last year
• baruchel / continuation
  A module for handling continuations in Python
  ☆32Updated 8 years ago
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆17Updated 2 weeks ago
• apayne / pylinda
  (Original: code.google.com/p/pylinda) A Linda implementation in Python.
  ☆12Updated 2 years ago
• calroc / joypy
  Automatically exported from code.google.com/p/joypy
  ☆28Updated 7 years ago
• debrouwere / python-literate
  Research notebooks in Python, with the power of literate programming and Markdown.
  ☆41Updated 11 years ago
• cosmoharrigan / pyrolog
  Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog
  ☆24Updated 10 years ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 3 months ago
• asrp / python_terp
  A minimal Python interpreter in Python with runtime AST definition and edit-and-continue
  ☆33Updated 7 years ago
• darius / tailbiter
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆46Updated 2 years ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆11Updated last year
• darius / tinyhiss
  A Smalltalk in Python
  ☆11Updated 2 years ago
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆24Updated 13 years ago
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Updated 7 years ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆13Updated 4 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• ericgj / adt.py
  Tagged union types and immutable records (product types) in Python
  ☆11Updated 7 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆26Updated 2 weeks ago
• DRMacIver / glassbox
  A library for tracking program state
  ☆15Updated 8 years ago
• feenkcom / gtoolkit-visualizer
  A set of visualization engines.
  ☆14Updated this week
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 4 months ago
• hylang / hydiomatic
  The Hy Transformer
  ☆81Updated 5 years ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 6 years ago
• beeware / galley
  A GUI tool for reviewing ReST/Sphinx documentation
  ☆26Updated 2 years ago
• mattmight / derp2
  A parser tool for Racket with an expressive grammar notation
  ☆20Updated 10 years ago
• namin / 3-proto-lisp
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆13Updated 3 years ago
• yuanchenyang / coding-js
  Javascript interpreters featuring web workers
  ☆38Updated 8 years ago