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:
- ☆71Updated 4 years ago
- Types for Python☆87Updated 6 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- ☆58Updated 11 years ago
- Literal support for Pyrsistent data structures in Python☆129Updated 4 years ago
- Straightforward unification in Python that's extensible via generic functions.☆50Updated 9 months ago
- A toy Python interpreter with monad comprehensions☆54Updated last year
- The Hy Transformer☆83Updated 6 years ago
- Monadic do-notation in Python (requires pypy3)☆19Updated 7 years ago
- ☆56Updated 7 years ago
- Leibniz - a Digital Scientific Notation☆34Updated last month
- Loghyc - a miniKanren implementation in Hy☆88Updated 5 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 5 years ago
- an attempt to implement miniKanren and microKanren in Python☆52Updated 10 years ago
- ☆285Updated last year
- Union types and some other functional-y stuff for Hy☆51Updated 9 years ago
- A Pythonic implementation of *microkanren* logic language☆10Updated 4 years ago
- Pattern matching for python☆218Updated 10 years ago
- Datalog based relational programming in Python.☆15Updated 2 years ago
- A Python library for defining struct-like classes☆24Updated 9 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
- ☆34Updated 4 years ago
- Answering Datalog Queries with Unix Shell Commands☆24Updated last year
- Research project: Program synthesis using updated interface, template and types.☆14Updated 4 years ago
- metaprogramming for don't-repeat-yourself Python☆24Updated 6 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Toy interpreters for learning about the RPython Translation Toolchain☆15Updated 10 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆35Updated 12 years ago