Alternatives and similar repositories for logicpy:

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

• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆17Updated 8 months ago
• calroc / joypy
  Automatically exported from code.google.com/p/joypy
  ☆28Updated 6 years ago
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆19Updated 7 years ago
• ryansb / bookmarkd
  Markdown -> IPython conversion tool
  ☆15Updated 9 years ago
• asrp / python_terp
  A minimal Python interpreter in Python with runtime AST definition and edit-and-continue
  ☆33Updated 7 years ago
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆24Updated 13 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
• apayne / pylinda
  (Original: code.google.com/p/pylinda) A Linda implementation in Python.
  ☆11Updated 2 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
• atdt / snoflake
  A JavaScript runtime for the SNOBOL4 programming language
  ☆18Updated 3 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
• darius / tinyhiss
  A Smalltalk in Python
  ☆11Updated 2 years ago
• darius / tailbiter
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆46Updated last year
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆52Updated 10 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆80Updated 5 years ago
• refi64 / hyskell
  Union types and some other functional-y stuff for Hy
  ☆50Updated 9 years ago
• saulpw / spwforth
  A clean implementation of Forth on 32-bit linux-x86
  ☆14Updated 4 years ago
• feenkcom / gtoolkit-visualizer
  A set of visualization engines.
  ☆14Updated this week
• mattmight / derp2
  A parser tool for Racket with an expressive grammar notation
  ☆20Updated 9 years ago
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 6 years ago
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 3 months ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆26Updated 8 months ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆51Updated 2 years ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆11Updated last year
• geoffreylitt / json-sheets
  Riffs on spreadsheets for manipulating JSON and building GUIs
  ☆16Updated 4 years ago
• ericgj / adt.py
  Tagged union types and immutable records (product types) in Python
  ☆11Updated 7 years ago
• schani / jscreme
  A self-hosting Scheme to JavaScript compiler
  ☆33Updated 15 years ago