Mike Chlipala (mikesea)

mikesea

Geek Repo

Location:San Francisco, CA

Home Page:http://mike.chlipala.com

Github PK Tool:Github PK Tool


Organizations
JumpstartLab

Mike Chlipala's starred repositories

sonic-pi

Code. Music. Live.

Language:C++License:NOASSERTIONStargazers:10759Issues:297Issues:1872

caire

Content aware image resize library

postgresml

Postgres with GPUs for ML/AI apps.

Language:RustLicense:MITStargazers:5949Issues:54Issues:229

sound-redux

A Soundcloud client built with React / Redux

Language:JavaScriptLicense:GPL-3.0Stargazers:5012Issues:142Issues:68

BespokeSynth

Software modular synth

Language:C++License:GPL-3.0Stargazers:4052Issues:68Issues:839

flipper

🐬 Beautiful, performant feature flags for Ruby.

Language:RubyLicense:MITStargazers:3675Issues:41Issues:330

parrot.live

🐦 Bringing animated parrots to terminals everywhere

react-music

Make beats with React!

Language:JavaScriptLicense:MITStargazers:2723Issues:106Issues:32

coltrane

🎹🎸A music theory library with a command-line interface

Language:RubyLicense:MITStargazers:2342Issues:22Issues:27

keyboard

⌨ Toward a more useful keyboard

Language:LuaLicense:MITStargazers:2083Issues:53Issues:43

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

Language:PythonLicense:MITStargazers:1116Issues:49Issues:255

langchainrb

Build LLM-backed Ruby applications

Language:RubyLicense:MITStargazers:990Issues:32Issues:140

hamlit

High Performance Haml Implementation

Language:RubyLicense:NOASSERTIONStargazers:980Issues:17Issues:127

sematic

An open-source ML pipeline development platform

Language:PythonLicense:NOASSERTIONStargazers:969Issues:11Issues:332

logstasher

Awesome rails logs

Language:RubyLicense:MITStargazers:820Issues:17Issues:73

Bumbler

Track the load progress of your Bundler-based projects

Language:RubyLicense:MITStargazers:707Issues:5Issues:14

github-ds

A collection of Ruby libraries for working with SQL on top of ActiveRecord's connection

Language:RubyLicense:MITStargazers:698Issues:282Issues:14

webpack-rails

Integrate webpack with your Ruby on Rails application

Language:RubyLicense:MITStargazers:543Issues:11Issues:56

activerecord-typedstore

ActiveRecord::Store but with type definition

Language:RubyLicense:MITStargazers:441Issues:10Issues:47

personal-finance

Guide and notes for personal finance

bootscale

Speedup applications boot by caching require calls

Language:RubyLicense:MITStargazers:190Issues:10Issues:12

faml

Faster implementation of Haml template language

Language:RubyLicense:MITStargazers:186Issues:6Issues:31

sprockets-commoner

Use Babel in Sprockets to compile JavaScript modules for the browser

Language:RubyLicense:MITStargazers:182Issues:408Issues:32

homework

Code challenges by Ad Hoc.

ohmycron

Run cron jobs in a standardized environment with logs and locking

Language:ShellLicense:ISCStargazers:139Issues:36Issues:0

custom-slack-css

A custom CSS for Slack App users

Language:CSSLicense:MITStargazers:22Issues:2Issues:1

Lay

An iOS library that computes a perfectly justified collection of elements for any given width.

Language:SwiftLicense:MITStargazers:20Issues:1Issues:0
Language:RubyLicense:MITStargazers:12Issues:4Issues:0