Beast code in Giters

Matthew Kolosick's starred repositories

fattest-cat

Script to find fattest cat currently up for adoption at SF SPCA

Language:JavaScript73400

agda-categories

A new Categories library for Agda

Language:AgdaMIT36100

rust-langdev

Language development libraries for Rust

Unlicense87900

vimac

Productive macOS keyboard-driven navigation

Language:SwiftGPL-3.0338700

menkar

The multimode presheaf proof-assistant

Language:HaskellMIT3300

macrotypes-projects

Projects using Turnstile+ and/or the types-as-macros approach to creating typed languages.

Language:Shell800

slideshow-latex

embedding LaTeX in Racket slideshows

Language:RacketNOASSERTION1100

fast-p

Language:GoMIT33900

ohm

A library and language for building parsers, interpreters, compilers, etc.

Language:JavaScriptMIT494600

big-list-of-naughty-strings

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

Language:PythonMIT4607700

pollen

book-publishing system [mirror of main repo at https://git.matthewbutterick.com/mbutterick/pollen]

Language:RacketMIT118800

cockroach

CockroachDB - the open source, cloud-native distributed SQL database.

Language:GoNOASSERTION2966400

unison

A friendly programming language from the future

Language:HaskellNOASSERTION569000

ace

Ace (Ajax.org Cloud9 Editor)

Language:JavaScriptNOASSERTION2660100

moonchild

A toolkit for experimenting with new kinds of programming interfaces.

Language:JavaScript19000

LightTable

The Light Table IDE ⛺

Language:ClojureMIT1172500

zenpen

A minimalist writing zone.

Language:JavaScriptMIT376500

lime

Open source API-compatible alternative to the text editor Sublime Text

BSD-2-Clause1529800

sile

The SILE Typesetter — Simon’s Improved Layout Engine

Language:LuaMIT162900

neovim

Vim-fork focused on extensibility and usability

Language:Vim ScriptNOASSERTION8069000