E2Music / pyTabsLinks
A Domain-Specific Language (DSL) for simplified music notation.
☆19Updated 10 years ago
Alternatives and similar repositories for pyTabs
Users that are interested in pyTabs are comparing it to the libraries listed below
Sorting:
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- A toy Python interpreter with monad comprehensions☆54Updated last year
- ☆71Updated 4 years ago
- Types for Python☆87Updated 6 years ago
- ☆58Updated 11 years ago
- A Pythonic implementation of *microkanren* logic language☆10Updated 4 years ago
- Monadic do-notation in Python (requires pypy3)☆19Updated 7 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆17Updated 2 weeks ago
- Logic for story telling!☆34Updated 7 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- ☆57Updated 8 years ago
- Haskell bindings for Python☆102Updated 4 years ago
- Proposed documentation for alloytools.org☆70Updated 7 months ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Updated 9 years ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆24Updated 11 years ago
- Toy interpreters for learning about the RPython Translation Toolchain☆15Updated 10 years ago
- Literal support for Pyrsistent data structures in Python☆129Updated 4 years ago
- purple: compiling a reflective language☆32Updated 8 months ago
- The Hy Transformer☆83Updated 6 years ago
- A sphinx project for Bartosz Milewski's book "Categories for Programmers"☆15Updated 7 years ago
- Loghyc - a miniKanren implementation in Hy☆88Updated 5 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- Straightforward unification in Python that's extensible via generic functions.☆50Updated 9 months ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆27Updated 4 months ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 5 years ago
- Macros in Python: quasiquotes, case classes, LINQ and more!☆29Updated 5 years ago