howonlee / audible-cos
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
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 3 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated last month
- ☆48Updated 3 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated 9 months ago
- A web app that lets you play musical scales according to math equations☆69Updated 3 years ago
- Finding Game of Life states that lead to pictures.☆18Updated 10 months ago
- Just a small test to see which language is better for extending python when using lists of lists☆31Updated last year
- Escrovery - Decentralized Account Recovery With Escrowed Payments☆13Updated 5 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 5 years ago
- Variaous articles☆80Updated last year
- Analysis of the SARS-CoV-2 genome☆57Updated 4 years ago
- HowIStart.org Hugo Site☆27Updated 8 months ago
- Explore Forum Structured Data (on HackerNews) Visually☆42Updated 2 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- CLI tool for exploring arXiv (inspired by karpathy's brilliant ArXiv Sanity Preserver)☆39Updated 2 weeks ago
- Some scripts and stuff that work with data from NYC classical radio station WQXR.☆45Updated 4 years ago
- A way for academics and research students to stay on top of research publications (using machine learning)☆54Updated 6 years ago
- Research wiki☆51Updated 2 years ago
- `tree -L 2` with less empty screen space.☆53Updated 2 years ago
- GUI for those who don't do GUI☆121Updated 4 years ago
- functional neural networks in ocaml☆89Updated 5 years ago
- Simple Rust implementation of Conway's Game of Life☆64Updated 2 years ago
- A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.☆22Updated 2 years ago
- ☆22Updated 2 years ago
- A programming language based on a 2D Hilbert curve grid☆89Updated 2 years ago
- Statistical classifier for immune repertoires☆45Updated 2 years ago
- Casual experiments with cellular automata☆76Updated 6 years ago
- App that sings songs using only the Mac terminal's say command! Listen at your own risk.☆27Updated 4 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago