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
  ☆36Updated 9 years ago
• calroc / joypy
  Automatically exported from code.google.com/p/joypy
  ☆32Updated 7 years ago
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆24Updated 14 years ago
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 7 years ago
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Updated 8 years ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆32Updated 9 years ago
• asrp / python_terp
  A minimal Python interpreter in Python with runtime AST definition and edit-and-continue
  ☆34Updated 8 years ago
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆18Updated 5 months ago
• debrouwere / python-literate
  Research notebooks in Python, with the power of literate programming and Markdown.
  ☆41Updated 12 years ago
• darius / tailbiter
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆46Updated 2 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆28Updated 6 years ago
• twisted / axiom
  Divmod Axiom is an object database, or alternatively, an object-relational mapper, implemented on top of Python.
  ☆25Updated 3 years ago
• DRMacIver / glassbox
  A library for tracking program state
  ☆15Updated 9 years ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆13Updated 2 years ago
• erezsh / lambdaX
  Partial evaluation for Python with syntactic sugar
  ☆36Updated 9 years ago
• zopefoundation / persistent
  automatic persistence for Python objects
  ☆47Updated 2 months ago
• marrow / dsl
  A Pythonic DSL construction engine for import–time code translation.
  ☆12Updated 8 years ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 3 months ago
• maximkulkin / hypothesis-regex
  Hypothesis extension to allow generating strings based on regex
  ☆26Updated 7 years ago
• bwasti / lazy
  Python Library for Lazy Interfaces
  ☆35Updated 7 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• rfk / withrestart
  A Pythonisation of the restart-based condition system from Common Lisp
  ☆15Updated 7 years ago
• feenkcom / gtoolkit-visualizer
  A set of visualization engines.
  ☆14Updated this week
• llllllllll / adt
  Algebraic data types for python
  ☆21Updated 9 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆28Updated 5 months ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 3 years ago
• RAbraham / mercylog
  Datalog based relational programming in Python.
  ☆15Updated 3 years ago
• slott56 / PyLit-3
  Literate Programming in Python3
  ☆18Updated 6 years ago
• centaurialpha / pireal
  Relational Algebra Interpreter writting in Python and Qt
  ☆32Updated 2 weeks ago