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
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated 2 months ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 5 months ago
• timfi / dotmatrix
  A dot matrix rendered using braille characters.
  ☆26Updated 3 years ago
• brundonsmith / life
  Simple Rust implementation of Conway's Game of Life
  ☆66Updated 2 years ago
• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆63Updated 5 years ago
• alexcrist / scaler
  A web app that lets you play musical scales according to math equations
  ☆69Updated 3 years ago
• romkatv / advent-of-code-2019
  Zsh solutions to Advent of Code 2019 puzzles
  ☆23Updated 4 years ago
• pickhardt / escrovery
  Escrovery - Decentralized Account Recovery With Escrowed Payments
  ☆13Updated 6 years ago
• 00sapo / Python-Complementary-Languages
  Just a small test to see which language is better for extending python when using lists of lists
  ☆31Updated last year
• pcgrosen / bashfs
  What if you could use bash from a filesystem?
  ☆64Updated 5 years ago
• kach / tower-of-power
  What is hip? Tell me, tell me (if you think you know)
  ☆110Updated 6 years ago
• autofitcloud / lsvine
  `tree -L 2` with less empty screen space.
  ☆53Updated 2 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated last month
• archivy / archivy-hn
  ☆48Updated 3 years ago
• GavinMendelGleason / many_worlds
  A description of the relationship between databases, collaboration and Kripke
  ☆27Updated 3 years ago
• zx9w / read-together
  Organize remote meetings for reading computer science papers
  ☆33Updated 4 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago
• Kevinpgalligan / GoLfind
  Finding Game of Life states that lead to pictures.
  ☆18Updated last year
• burgravian / heartfuck
  Heartf❤️ck: the most wholesome "programming language" by Laura Pircalaboiu and Ricardo Vogel. Python compiler by Jonathan Dönszelmann
  ☆52Updated 3 years ago
• thass0 / liz
  Collaborative Lisp coding on Discord
  ☆34Updated last year
• rrampage / wart
  A simple Web Assembly Interpreter
  ☆16Updated last year
• Mortiniera / collaborative-image-inpainting
  Tensorflow implementation of Collaborative Sampling for Image inpainting
  ☆35Updated 5 years ago
• polkerty / dog-bunny-puzzle-solver
  ☆22Updated 2 years ago
• ehrenjn / LSystems
  ☆14Updated 5 years ago
• matthewearl / q1physrl
  Quake 1 movement physics reinforcement learning
  ☆95Updated 2 years ago
• shawwn / pymen
  ☆12Updated last year
• ericu / CellCulTuring
  Casual experiments with cellular automata
  ☆78Updated 6 years ago