Alternatives and similar repositories for audible-cos

Users that are interested in audible-cos are comparing it to the libraries listed below

• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• pickhardt / escrovery
  Escrovery - Decentralized Account Recovery With Escrowed Payments
  ☆13Updated 6 years ago
• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆63Updated 3 weeks ago
• ashutoshbsathe / yacv
  Yet Another Compiler Visualizer
  ☆163Updated 4 years ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆71Updated 11 months ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆100Updated 4 years ago
• lf94 / img2utf
  Converts images into textual line art.
  ☆146Updated 3 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• tompccs / scoopy
  A way for academics and research students to stay on top of research publications (using machine learning)
  ☆53Updated 7 years ago
• timfi / dotmatrix
  A dot matrix rendered using braille characters.
  ☆26Updated 4 years ago
• romkatv / advent-of-code-2019
  Zsh solutions to Advent of Code 2019 puzzles
  ☆23Updated 5 years ago
• alexcrist / scaler
  A web app that lets you play musical scales according to math equations
  ☆70Updated 4 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆86Updated 9 months ago
• autofitcloud / lsvine
  `tree -L 2` with less empty screen space.
  ☆53Updated 3 years ago
• brundonsmith / life
  Simple Rust implementation of Conway's Game of Life
  ☆66Updated 3 years ago
• ehrenjn / LSystems
  ☆14Updated 5 years ago
• dandavison / trogon
  A bird vocalization ID quiz for the species present at any location in the world
  ☆86Updated 4 years ago
• akalenuk / 16counters
  GUI for those who don't do GUI
  ☆122Updated 5 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 3 years ago
• kach / tower-of-power
  What is hip? Tell me, tell me (if you think you know)
  ☆111Updated 7 years ago
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆86Updated 8 years ago
• tom-p-reichel / svg-is-turing-complete
  An implementation of rule 110 in Scalable Vector Graphics
  ☆146Updated 5 years ago
• knguyenanhoa / cli-arxiv
  CLI tool for exploring arXiv (inspired by karpathy's brilliant ArXiv Sanity Preserver)
  ☆39Updated 8 months ago
• Merkoba / Bone
  Minimalistic display of websites. With tiling, theme, and preset support
  ☆76Updated 3 years ago
• Jeadie / Go-L
  Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)
  ☆59Updated 3 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• mcnuttandrew / forum-explorer
  Explore Forum Structured Data (on HackerNews) Visually
  ☆43Updated 3 years ago
• AZHenley / HarvestMemory
  Program a bot using assembly-like code in this competitive game!
  ☆58Updated 4 years ago
• 00sapo / Python-Complementary-Languages
  Just a small test to see which language is better for extending python when using lists of lists
  ☆32Updated 2 years ago