Skip to content
View mzacho's full-sized avatar
7 followers · 6 following
  • Aarhus University
  • Copenhagen, Denmark
  • 04:35 (UTC +02:00)

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2

Highlights

  • Pro

Block or report mzacho

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. melrose-for-emacs melrose-for-emacs Public

    Emacs extension for Melrose music programmable MIDI server

    Emacs Lisp 3

  2. kubernetes kubernetes Public

    Forked from kubernetes/kubernetes

    Production-Grade Container Scheduling and Management

    Go

  3. payment-engine payment-engine Public

    a toy payment engine written in Rust

    Rust

  4. refinement-types refinement-types Public

    A refinement type checker for simply typed lamda calculus with inductive data-types and well-founded recursive functions

    OCaml 1

  5. threshold-ecdsa threshold-ecdsa Public

    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.

    Rust

  6. womeier/secwasm womeier/secwasm Public

    OCaml 2