CPH based software developer by day and electronic musician by night
mzacho Goto Github PK
Name: Martin Zacho
Type: User
Company: Aarhus University
Location: Copenhagen, Denmark
Martin Zacho's Projects
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
hacspec
A specification language for cryptography primitives.
hacspec-book
The hacspec book
hacspec-v2
homebrew-audio-plugins
Caskroom tap dedicated to free AU and VST plugins
jenkins
Jenkins automation server
k8s-community
Kubernetes community content
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
melrose-for-emacs
Emacs extension for Melrose music programmable MIDI server
mu
maildir indexer/searcher + emacs mail client + guile bindings
nixpkgs
Nix Packages collection & NixOS
numpy
The fundamental package for scientific computing with Python.
pinentry-emacs
a pinentry for gpg that uses emacsclient to prompt for the passphrase.
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
threshold-ecdsa
A 2-party threshold ECDSA implementation in Rust based on the paper "Securing dnssec keys via threshold ecdsa from generic MPC" by Dalskov et. al.
tip
Static program analysis for TIP
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.