mistasse / Prology
Logic Programming for Python3
☆8Updated 8 years ago
Related projects: ⓘ
- Aerie: a regex-like engine nested word grammars☆16Updated 2 years ago
- The semantic code generation framework☆29Updated 10 years ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- An implementation of a truly relational database language with Python. Inspired by Date and Darwen's 'Third Manifesto'.☆10Updated 6 years ago
- Python polymorphic functions done right☆18Updated 5 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆19Updated 6 years ago
- xudd☆26Updated 9 years ago
- utilities for filesystem exploration and automated builds☆21Updated 2 months ago
- Build languages on Python.☆12Updated 3 years ago
- Partial evaluation of Python code☆18Updated last year
- A fragmentary bidirectional type system as a Python library☆53Updated 5 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- A library for tracking program state☆15Updated 8 years ago
- Simple spill-to-disk dictionary☆18Updated 8 years ago
- Python subsets☆41Updated 7 years ago
- Guild will be a web aware pipelineable actor system, with a pythonic syntax☆25Updated 6 months ago
- TreeDict is a fast, flexible and full-featured hierarchical python container that makes simple and sophisticated bookkeeping easy.☆30Updated 8 years ago
- Scala-like functional pattern matching in Python☆33Updated 12 years ago
- A MiniKanren in Python☆36Updated 8 years ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆32Updated 6 years ago
- ☆73Updated 3 years ago
- Jupyter Kernel for Xonsh☆22Updated 8 years ago
- Acquisition is a mechanism that allows objects to obtain attributes from the containment hierarchy they're in.☆12Updated this week
- Algebraic data types for python☆22Updated 7 years ago
- ☆15Updated 5 years ago
- Programmatic Control Flow☆13Updated 7 years ago
- A GUI tool for reviewing ReST/Sphinx documentation☆26Updated last year
- ☆11Updated this week
- An inference engine for extensional untyped λ-calculus☆17Updated last year
- A pure-Python module that implements an LR(1) parser generator, as well as CFSM and GLR parser drivers.☆48Updated 2 weeks ago