Mike Chlipala's starred repositories
postgresml
Postgres with GPUs for ML/AI apps.
sound-redux
A Soundcloud client built with React / Redux
BespokeSynth
Software modular synth
parrot.live
🐦 Bringing animated parrots to terminals everywhere
react-music
Make beats with React!
recipe-el_fuego_viviente
Fermented Chili "Open Sauce" - My most starred repo has no code in it!
html5lib-python
Standards-compliant library for parsing and serializing HTML documents and fragments in Python
langchainrb
Build LLM-backed Ruby applications
logstasher
Awesome rails logs
webpack-rails
Integrate webpack with your Ruby on Rails application
activerecord-typedstore
ActiveRecord::Store but with type definition
personal-finance
Guide and notes for personal finance
sprockets-commoner
Use Babel in Sprockets to compile JavaScript modules for the browser
custom-slack-css
A custom CSS for Slack App users