Alternatives and similar repositories for booze-tools

Users that are interested in booze-tools are comparing it to the libraries listed below

• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆50Updated last month
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆69Updated 6 months ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated 2 years ago
• erezsh / lambdaX
  Partial evaluation for Python with syntactic sugar
  ☆36Updated 9 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• s-zeng / dhall-python
  Python bindings for dhall, a functional configuration language
  ☆48Updated 10 months ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆25Updated 6 years ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆99Updated 6 months ago
• gilch / hebigo
  蛇語(HEH-bee-go): An indentation-based skin for Hissp.
  ☆26Updated 2 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• soegaard / metapict
  A graphics library for producing Racket picts in a MetaPost/TikZ style.
  ☆71Updated 10 months ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 5 months ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆16Updated last week
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• miniKanren / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆16Updated 7 years ago
• Componolit / SXML
  Formally verified, bounded-stack XML library
  ☆23Updated 5 years ago
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆80Updated 4 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆29Updated last year
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• igordejanovic / parglare
  A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/
  ☆144Updated last year
• vscosta / yap
  ☆59Updated 3 weeks 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 12 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated 2 years ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆32Updated 9 years ago
• Componolit / gneiss
  Framework for platform-independent SPARK components
  ☆23Updated 5 years ago
• perkinslr / schemepy
  Implementation of scheme in python supporting call/cc and hygenic macros
  ☆16Updated 10 years ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 2 years ago
• RocketRace / custom-literals
  A library implementing C++'s custom literal suffixes using pure Python.
  ☆35Updated 11 months ago