mkolosick

Pinned Repositories

agnoster-light
Language:Shell12 2 017
composer
Language:Racket3 4 01
cps-from-stlc-to-sysf
Modeling a CPS translation from STLC to System F in Coq using Locally Nameless
Language:Coq00
elixir-bson
BSON documents in Elixir language
Language:Elixir10
elixir-mongo
MongoDB driver for Elixir
Language:Elixir1 2 00
fava
fava - Web interface for beancount
Language:Python00
homebrew-brew
Homebrew formula to install cpdf and Lightroom Classic CC 5.7 on macOS.
Language:Ruby00
Software-Foundations-Exercises
Exercises in Software Foundations
Language:Coq6 3 00
Sublime-Coq
Syntax highlighting for the Coq programming language
9 2 812

mkolosick's Repositories

mkolosick/agnoster-light
Language:Shell12 2 017
mkolosick/Sublime-Coq
Syntax highlighting for the Coq programming language
9 2 812
mkolosick/Software-Foundations-Exercises
Exercises in Software Foundations
Language:Coq6 3 00
mkolosick/composer
Language:Racket3 4 01
mkolosick/elixir-bson
BSON documents in Elixir language
Language:Elixir10
mkolosick/elixir-mongo
MongoDB driver for Elixir
Language:Elixir1 2 00
mkolosick/cps-from-stlc-to-sysf
Modeling a CPS translation from STLC to System F in Coq using Locally Nameless
Language:Coq00
mkolosick/fava
fava - Web interface for beancount
Language:Python00
mkolosick/homebrew-brew
Homebrew formula to install cpdf and Lightroom Classic CC 5.7 on macOS.
Language:Ruby00
mkolosick/htdp-image
A beginner friendly graphics library for Haskell
mkolosick/literate-coq
Language:Coq2 0
mkolosick/obsidian-git
Backup your Obsidian.md vault with git
Language:TypeScript1 0
mkolosick/popl-2022-zero-cost-artifact
Language:Shell2 0
mkolosick/rust-chrono-temp
Language:Rust
mkolosick/spaceship-zsh-theme
:star: :rocket: An “Oh My ZSH!” theme for Astronauts.
Language:Shell
mkolosick/timer.rs-temp
Language:Rust2 01
mkolosick/yaxpeax-core
program analysis for machine code
Language:Rust1 0
mkolosick/yaxpeax-x86
x86 decoders for the yaxpeax project
Language:Rust1 0