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:
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 6 months ago
- Yet Another Compiler Visualizer☆159Updated 4 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆62Updated 5 years ago
- `tree -L 2` with less empty screen space.☆53Updated 2 years ago
- Converts images into textual line art.☆147Updated 2 years ago
- Heartf❤️ck: the most wholesome "programming language" by Laura Pircalaboiu and Ricardo Vogel. Python compiler by Jonathan Dönszelmann☆53Updated 3 years ago
- A way for academics and research students to stay on top of research publications (using machine learning)☆54Updated 7 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- Brzozowski derivative python sketch☆85Updated 5 months ago
- What is hip? Tell me, tell me (if you think you know)☆110Updated 7 years ago
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- Interesting Papers and Ideas☆85Updated 8 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Mmap radix sort file by a fixed length prefix of each line☆52Updated 5 years ago
- What if you could use bash from a filesystem?☆64Updated 6 years ago
- GUI for those who don't do GUI☆122Updated 5 years ago
- Simple Rust implementation of Conway's Game of Life☆66Updated 3 years ago
- A web app that lets you play musical scales according to math equations☆69Updated 3 years ago
- CLI tool for exploring arXiv (inspired by karpathy's brilliant ArXiv Sanity Preserver)☆39Updated 4 months ago
- hackernews data☆33Updated 2 years ago
- Creative Coding Environment☆126Updated 3 months ago
- ☆48Updated 3 years ago
- rot13 for the Unicode generation☆127Updated last month
- Generate guitar tablatures using a constraint solver☆139Updated 5 years ago
- Zsh solutions to Advent of Code 2019 puzzles☆23Updated 4 years ago
- Casual experiments with cellular automata☆78Updated 6 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
- functional neural networks in ocaml☆89Updated 5 years ago
- Organize remote meetings for reading computer science papers☆34Updated 5 years ago