howonlee / audible-cosLinks
Audible NP-Complete Problem
☆22Updated 5 years ago
Alternatives and similar repositories for audible-cos
Users that are interested in audible-cos are comparing it to the libraries listed below
Sorting:
- A web app that lets you play musical scales according to math equations☆69Updated 3 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 3 months ago
- Explore Forum Structured Data (on HackerNews) Visually☆42Updated 2 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 5 years ago
- ☆21Updated 5 years ago
- What if you could use bash from a filesystem?☆64Updated 5 years ago
- Organize remote meetings for reading computer science papers☆33Updated 5 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Escrovery - Decentralized Account Recovery With Escrowed Payments☆13Updated 6 years ago
- `tree -L 2` with less empty screen space.☆53Updated 2 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- What is hip? Tell me, tell me (if you think you know)☆110Updated 6 years ago
- A natural language alternative to Unix 'cal'☆59Updated 6 years ago
- ☆48Updated 3 years ago
- Just a small test to see which language is better for extending python when using lists of lists☆31Updated last year
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- get more done with fewer keystrokes☆57Updated 2 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- A simpler music notation for casual piano learners☆132Updated 6 months ago
- Various Arduino sketches☆59Updated 3 years ago
- An implementation of rule 110 in Scalable Vector Graphics☆147Updated 4 years ago
- Zsh solutions to Advent of Code 2019 puzzles☆23Updated 4 years ago
- ☆14Updated 5 years ago
- https://www.laarc.io/☆59Updated 3 years ago
- A way for academics and research students to stay on top of research publications (using machine learning)☆54Updated 7 years ago
- An implementation of Terry Davis' minicompiler in Rust targeting WebAssembly☆33Updated 4 years ago
- SugarTeX is a more readable LaTeX language extension and transcompiler to LaTeX. Fast Unicode autocomplete in Atom editor via https://git…☆74Updated 4 years ago
- A DSL that translates to regex☆141Updated 2 years ago
- Converts images into textual line art.☆147Updated 2 years ago