evertheylen / logicpy
Prolog Implementation in Python
☆11Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for logicpy
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆19Updated 6 years ago
- Yet another PEG parser combinator library and DSL☆57Updated last year
- Markdown -> IPython conversion tool☆15Updated 9 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆26Updated 5 months ago
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆22Updated 10 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆16Updated 5 months ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆25Updated 13 years ago
- A MiniKanren in Python☆36Updated 8 years ago
- ☆17Updated 3 years ago
- A module for handling continuations in Python☆33Updated 8 years ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆33Updated 6 years ago
- Self-compiling compiler of a Python subset. Just enough Python to Python in Python.☆46Updated last year
- Research notebooks in Python, with the power of literate programming and Markdown.☆41Updated 11 years ago
- A corpus of Python programs annotated with contracts☆20Updated 2 years ago
- ☆14Updated 3 years ago
- Fastest general-purpose parsing library for Python with a familiar API☆43Updated 2 months ago
- Hypothesis extension to allow generating strings based on regex☆26Updated 6 years ago
- Automatically exported from code.google.com/p/joypy☆27Updated 6 years ago
- Partial evaluation for Python with syntactic sugar☆36Updated 8 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆11Updated 2 years ago
- A Smalltalk in Python☆12Updated 2 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- Algebraic data types for python☆22Updated 7 years ago
- Translate Python's bytecode to data and back again...☆18Updated 3 weeks ago
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Updated 5 years ago
- Cell language C++ runtime☆17Updated 4 years ago
- metaprogramming for don't-repeat-yourself Python☆22Updated 5 years ago
- A library for tracking program state☆15Updated 8 years ago
- automatic persistence for Python objects☆46Updated 2 weeks ago
- ALS Prolog Compiler & Development Environment☆16Updated 4 months ago