Pinned Repositories
12factor
certicoq
A Verified Compiler for Gallina, Written in Gallina
direnv
unclutter your .profile
docs
Prometheus documentation: content and static site generator
egcd
Easy-to-import library with a basic, efficient, pure-Python implementation of the extended Euclidean algorithm.
FStar
A Proof-oriented Programming Language
go
The Go programming language
go-competitive-prog
A collection of tools for competitive programming in Go
gofail
failpoints for go
melrose-for-emacs
Emacs extension for Melrose music programmable MIDI server
mzacho's Repositories
mzacho/melrose-for-emacs
Emacs extension for Melrose music programmable MIDI server
mzacho/12factor
mzacho/certicoq
A Verified Compiler for Gallina, Written in Gallina
mzacho/direnv
unclutter your .profile
mzacho/docs
Prometheus documentation: content and static site generator
mzacho/egcd
Easy-to-import library with a basic, efficient, pure-Python implementation of the extended Euclidean algorithm.
mzacho/FStar
A Proof-oriented Programming Language
mzacho/go
The Go programming language
mzacho/go-competitive-prog
A collection of tools for competitive programming in Go
mzacho/gofail
failpoints for go
mzacho/jenkins
Jenkins automation server
mzacho/k8s-community
Kubernetes community content
mzacho/hacspec
A specification language for cryptography primitives.
mzacho/hacspec-book
The hacspec book
mzacho/hacspec-v2
mzacho/kubernetes
Production-Grade Container Scheduling and Management
mzacho/kubernetes-website
Kubernetes website and documentation
mzacho/lsp-java
lsp-mode :heart: java
mzacho/melrose
interactive programming of melodies, producing MIDI
mzacho/mu
maildir indexer/searcher + emacs mail client + guile bindings
mzacho/nixpkgs
Nix Packages collection & NixOS
mzacho/numpy
The fundamental package for scientific computing with Python.
mzacho/portmidi
Go bindings for libportmidi
mzacho/projectile
Project Interaction Library for Emacs
mzacho/prometheus
The Prometheus monitoring system and time series database.
mzacho/refinement-types
A refinement type checker for simply typed lamda calculus with inductive data-types and well-founded recursive functions
mzacho/threshold-ecdsa
mzacho/TIP
Static program analysis for TIP
mzacho/tools
[mirror] Go Tools
mzacho/zplug
:hibiscus: A next-generation plugin manager for zsh