howonlee / audible-cos

Related projects: ⓘ

• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 years ago
• knguyenanhoa / cli-arxiv
  CLI tool for exploring arXiv (inspired by karpathy's brilliant ArXiv Sanity Preserver)
  ☆38Updated 3 years ago
• autofitcloud / lsvine
  `tree -L 2` with less empty screen space.
  ☆53Updated last year
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆68Updated this week
• pcgrosen / bashfs
  What if you could use bash from a filesystem?
  ☆64Updated 5 years ago
• Kevinpgalligan / GoLfind
  Finding Game of Life states that lead to pictures.
  ☆17Updated 4 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last month
• timfi / dotmatrix
  A dot matrix rendered using braille characters.
  ☆26Updated 3 years ago
• romkatv / advent-of-code-2019
  Zsh solutions to Advent of Code 2019 puzzles
  ☆23Updated 3 years ago
• burgravian / heartfuck
  Heartf❤️ck: the most wholesome "programming language" by Laura Pircalaboiu and Ricardo Vogel. Python compiler by Jonathan Dönszelmann
  ☆53Updated 2 years ago
• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆63Updated 4 years ago
• kach / tower-of-power
  What is hip? Tell me, tell me (if you think you know)
  ☆108Updated 6 years ago
• pickhardt / escrovery
  Escrovery - Decentralized Account Recovery With Escrowed Payments
  ☆13Updated 5 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• SaraBee / nowplaying
  Some scripts and stuff that work with data from NYC classical radio station WQXR.
  ☆45Updated 3 years ago
• Christoph-Lauer / Sonogram-Visible-Speech
  ☆43Updated this week
• jez / calz
  A natural language alternative to Unix 'cal'
  ☆59Updated 5 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated 4 months ago
• braydo25 / TwitchControlsMinecraft
  ☆54Updated this week
• 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
• tompccs / scoopy
  A way for academics and research students to stay on top of research publications (using machine learning)
  ☆54Updated 6 years ago
• GreatAttractor / libskry_r
  Lucky imaging library
  ☆17Updated 4 years ago
• shawwn / pymen
  ☆12Updated last year
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆73Updated 4 months ago
• rhardih / cistercian
  Commandline tool to generate Cistercian numerals
  ☆45Updated 2 years ago
• asemic-horizon / sursis
  A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.
  ☆23Updated 2 years ago
• mcnuttandrew / forum-explorer
  Explore Forum Structured Data (on HackerNews) Visually
  ☆41Updated last year
• brundonsmith / life
  Simple Rust implementation of Conway's Game of Life
  ☆64Updated 2 years ago
• jwilk / abmagick
  abuse ImageMagick (or GraphicsMagick) to create arbitrary files
  ☆53Updated 7 months ago
• GavinMendelGleason / many_worlds
  A description of the relationship between databases, collaboration and Kripke
  ☆27Updated 2 years ago