Matthew Kolosick's repositories
Sublime-Coq
Syntax highlighting for the Coq programming language
Software-Foundations-Exercises
Exercises in Software Foundations
elixir-bson
BSON documents in Elixir language
elixir-mongo
MongoDB driver for Elixir
cps-from-stlc-to-sysf
Modeling a CPS translation from STLC to System F in Coq using Locally Nameless
Language:Coq000
fava
fava - Web interface for beancount
Language:PythonMIT000
homebrew-brew
Homebrew formula to install cpdf and Lightroom Classic CC 5.7 on macOS.
Language:RubyMIT000
htdp-image
A beginner friendly graphics library for Haskell
BSD-3-Clause000
Language:Coq000
obsidian-git
Backup your Obsidian.md vault with git
Language:TypeScript000
Language:Shell000
Language:RustNOASSERTION000
spaceship-zsh-theme
:star: :rocket: An “Oh My ZSH!” theme for Astronauts.
Language:Shell000
Language:RustMPL-2.0000
yaxpeax-core
program analysis for machine code
Language:Rust0BSD000
yaxpeax-x86
x86 decoders for the yaxpeax project
Language:Rust0BSD000