kjosib / booze-tools
Booze Tools will become the complete programming-language development workbench, all written in Python 3.9 (for now).
☆15Updated last month
Alternatives and similar repositories for booze-tools:
Users that are interested in booze-tools are comparing it to the libraries listed below
- Straightforward unification in Python that's extensible via generic functions.☆46Updated 5 months ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- An extension to IPdb for Python >= 3.11 that supports bytecode stepping, sub-expression stepping/breakpoints, object-centric breakpoints …☆10Updated last year
- A corpus of Python programs annotated with contracts☆21Updated 2 years ago
- Backwards compatible callback APIs☆19Updated 4 years ago
- Advanced macro expander and language lab for Python.☆62Updated 4 months ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- Configurable memory allocations☆14Updated 4 months ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆93Updated 4 months ago
- Debugger in the Trepan family for x-python☆16Updated 2 months ago
- Programming Languages Grammar House (BNF like grammars)☆26Updated 5 months ago
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Updated 8 months ago
- Client side Rust implementation of the Glamorous Toolkit VM☆11Updated 3 weeks ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Find python identifiers☆12Updated 3 weeks ago
- Hypothesis strategy to generate NetworkX graphs.☆18Updated last year
- Automatically exported from code.google.com/p/joypy☆28Updated 7 years ago
- Build complex types from simple blueprints with Pydantic☆24Updated last month
- Python S-expression emulation using tuple-like objects.☆21Updated 5 months ago
- Manage Python errors with ease☆25Updated this week
- A booklet on the Smacc compiler compiler framework☆14Updated 4 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 8 months ago
- The Flix Programming Book☆17Updated this week
- Pure python readline - works on Python 2, Python 3, PyPy 2, PyPy 3☆32Updated last year
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆40Updated 11 months ago
- z3-powered solver (theorem prover) for deal☆11Updated last year
- A mathematical foundation for Smalltalk-25☆17Updated this week
- Operator overloading for fast anonymous functions.☆50Updated last month
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆14Updated last week