Alternatives and similar repositories for pijnu:

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

• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated last year
• darius / tailbiter
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆46Updated 2 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• DRMacIver / glassbox
  A library for tracking program state
  ☆15Updated 8 years ago
• mistasse / Prology
  Logic Programming for Python3
  ☆8Updated 8 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
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆26Updated 2 weeks ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 7 years ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆11Updated 2 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• MagicStack / parsing
  A pure-Python module that implements an LR(1) parser generator, as well as CFSM and GLR parser drivers.
  ☆50Updated 6 months ago
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Updated 7 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated 10 months ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated 2 years ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• jneen / parsy
  301 moved permanently https://github.com/python-parsy/parsy
  ☆42Updated 7 years ago
• DeloitteHux-Old / cycy
  EPIC CUCUMBERS!
  ☆28Updated 7 years ago
• ggaughan / dee
  An implementation of a truly relational database language with Python. Inspired by Date and Darwen's 'Third Manifesto'.
  ☆10Updated 6 years ago
• swayf / grako
  Grako (for grammar compiler) is a tool that takes grammars in a variation of EBNF as input, and outputs memoizing (Packrat) PEG parsers i…
  ☆34Updated 11 years ago
• mdipierro / ocl
  Python to C99/OpenCL/JS compiler
  ☆64Updated 8 years ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆32Updated 8 years ago
• debrouwere / python-literate
  Research notebooks in Python, with the power of literate programming and Markdown.
  ☆41Updated 11 years ago
• kragen / urscheme
  ☆21Updated 11 years ago
• pfalcon / pyastinterp
  Python AST interpreter (aka tree-walking interpreter) in Python. Aka meta-circular interpreter.
  ☆15Updated 4 years ago
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 6 years ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆11Updated last year
• pkhuong / aerie
  Aerie: a regex-like engine nested word grammars
  ☆16Updated 3 years ago