Alternatives and similar repositories for pijnu

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

• 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
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 7 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated last year
• brownplt / lambda-py
  ☆58Updated 11 years ago
• pfalcon / pyastinterp
  Python AST interpreter (aka tree-walking interpreter) in Python. Aka meta-circular interpreter.
  ☆15Updated 4 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆27Updated 4 months ago
• jneen / parsy
  301 moved permanently https://github.com/python-parsy/parsy
  ☆42Updated 7 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• ryneeverett / mkcodes
  A command-line utility for pulling code blocks out of markdown files.
  ☆14Updated 3 years ago
• MichaelPaddon / epsilon
  epsilon is a scanner generator
  ☆28Updated 3 years ago
• fnogatz / dcg4pt
  Extend Definite Clause Grammars for Prolog by the corresponding parse tree
  ☆11Updated 2 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 9 years ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆12Updated 2 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated last year
• palmskog / fitch
  Certified proof checker for Fitch-style propositional logic proofs
  ☆7Updated last year
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated last week
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• AppliedLogicSystems / ALSProlog
  ALS Prolog Compiler & Development Environment
  ☆16Updated 2 months ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated last year
• windelbouwman / pyspeedscope
  ☆16Updated 4 years ago
• DRMacIver / glassbox
  A library for tracking program state
  ☆15Updated 9 years ago
• pkhuong / aerie
  Aerie: a regex-like engine nested word grammars
  ☆16Updated 3 years ago
• mistasse / Prology
  Logic Programming for Python3
  ☆8Updated 8 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 2 years ago
• DeloitteHux-Old / cycy
  EPIC CUCUMBERS!
  ☆28Updated 7 years ago