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:
- ☆72Updated 4 years ago
- Types for Python☆87Updated 6 years ago
- ☆59Updated 11 years ago
- A toy Python interpreter with monad comprehensions☆54Updated last year
- Literal support for Pyrsistent data structures in Python☆130Updated 4 years ago
- Resolution theorem proving for predicate logic in pure Python.☆97Updated last year
- A toy for making geometric art, inspired by Islamic Zellij.☆18Updated 6 years ago
- ☆285Updated last year
- Supercharge your Python with parts of Lisp and Haskell.☆99Updated 5 months ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- Haskell bindings for Python☆104Updated 4 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- A very minimal implementation of the core idea of Hypothesis☆138Updated last year
- Straightforward unification in Python that's extensible via generic functions.☆50Updated last month
- Python pattern matching like functional languages.☆160Updated 4 years ago
- Logic for story telling!☆34Updated 7 years ago
- Pattern matching for python☆218Updated 11 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆27Updated last month
- Python backend for Idris (generates Python source, not bytecode).☆125Updated 7 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
- Sum Types, aka Tagged Unions, for Python☆44Updated 3 years ago
- Toy interpreters for learning about the RPython Translation Toolchain☆15Updated 10 years ago
- A sphinx project for Bartosz Milewski's book "Categories for Programmers"☆14Updated 7 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- Advanced macro expander and language lab for Python.☆68Updated 5 months ago
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆18Updated 3 months ago
- ☆58Updated 8 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆251Updated last week