Martin Zacho's repositories
melrose-for-emacs
Emacs extension for Melrose music programmable MIDI server
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
jenkins
Jenkins automation server
k8s-community
Kubernetes community content
hacspec
A specification language for cryptography primitives.
hacspec-book
The hacspec book
kubernetes
Production-Grade Container Scheduling and Management
kubernetes-website
Kubernetes website and documentation
lsp-java
lsp-mode :heart: java
melrose
interactive programming of melodies, producing MIDI
mu
maildir indexer/searcher + emacs mail client + guile bindings
nixpkgs
Nix Packages collection & NixOS
numpy
The fundamental package for scientific computing with Python.
portmidi
Go bindings for libportmidi
projectile
Project Interaction Library for Emacs
prometheus
The Prometheus monitoring system and time series database.
refinement-types
A refinement type checker for simply typed lamda calculus with inductive data-types and well-founded recursive functions
TIP
Static program analysis for TIP
tools
[mirror] Go Tools
zplug
:hibiscus: A next-generation plugin manager for zsh