Skip to content
View mzacho's full-sized avatar
7 followers · 6 following
  • Copenhagen, Denmark
  • 07:57 (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

  • rustc-dev-guide Public

    Forked from rust-lang/rustc-dev-guide

    A guide to how rustc works and how to contribute to it.

    HTML Apache License 2.0 Updated Sep 16, 2024

  • knapsack-service Public

    Rust Updated Sep 16, 2024

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection & NixOS

    Nix MIT License Updated Sep 7, 2024

  • melrose Public

    Forked from emicklei/melrose

    interactive programming of melodies, producing MIDI

    Go MIT License Updated Aug 9, 2024

  • home-manager Public

    Forked from nix-community/home-manager

    Manage a user environment using Nix [maintainer=@rycee]

    Nix MIT License Updated Jul 16, 2024

  • zoxide Public

    Forked from ajeetdsouza/zoxide

    A smarter cd command. Supports all major shells.

    Rust MIT License Updated Jul 15, 2024

  • refinement-types Public

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

    typechecker logic refinement-types
    OCaml 1 MIT License Updated Jul 14, 2024

  • egcd Public

    Forked from lapets/egcd

    Easy-to-import library with a basic, efficient, pure-Python implementation of the extended Euclidean algorithm.

    Python MIT License Updated Feb 25, 2024

  • 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 Updated Jan 4, 2024

  • hacspec-v2 Public

    Forked from hacspec/hax
    OCaml Updated Nov 15, 2023

  • FStar Public

    Forked from FStarLang/FStar

    A Proof-oriented Programming Language

    F* Apache License 2.0 Updated Nov 13, 2023

  • hacspec Public

    Forked from hacspec/hacspec

    A specification language for cryptography primitives.

    Coq MIT License Updated Oct 20, 2023

  • hacspec-book Public

    Forked from hacspec/book

    The hacspec book

    Updated Oct 13, 2023

  • direnv Public

    Forked from direnv/direnv

    unclutter your .profile

    Go MIT License Updated Sep 18, 2023

  • certicoq Public

    Forked from CertiCoq/certicoq

    A Verified Compiler for Gallina, Written in Gallina

    Coq MIT License Updated Mar 10, 2023

  • TIP Public

    Forked from cs-au-dk/TIP

    Static program analysis for TIP

    Scala Updated Dec 25, 2022

  • go-competitive-prog Public

    A collection of tools for competitive programming in Go

    competitive-programming
    Go Updated Dec 11, 2022

  • docs Public

    Forked from prometheus/docs

    Prometheus documentation: content and static site generator

    SCSS Apache License 2.0 Updated Dec 6, 2022

  • prometheus Public

    Forked from prometheus/prometheus

    The Prometheus monitoring system and time series database.

    Go Apache License 2.0 Updated Dec 6, 2022

  • 12factor Public

    Forked from heroku/12factor
    CSS MIT License Updated Nov 25, 2022

  • gofail Public

    Forked from etcd-io/gofail

    failpoints for go

    Go Apache License 2.0 Updated Nov 24, 2022

  • tools Public

    Forked from golang/tools

    [mirror] Go Tools

    Go BSD 3-Clause "New" or "Revised" License Updated Nov 18, 2022

  • k8s-community Public

    Forked from kubernetes/community

    Kubernetes community content

    Jupyter Notebook Apache License 2.0 Updated Sep 15, 2022

  • kubernetes Public

    Forked from kubernetes/kubernetes

    Production-Grade Container Scheduling and Management

    Go Apache License 2.0 Updated Sep 11, 2022

  • numpy Public

    Forked from numpy/numpy

    The fundamental package for scientific computing with Python.

    Python BSD 3-Clause "New" or "Revised" License Updated Aug 28, 2022

  • projectile Public

    Forked from bbatsov/projectile

    Project Interaction Library for Emacs

    Emacs Lisp GNU General Public License v3.0 Updated Aug 27, 2022

  • jenkins Public

    Forked from jenkinsci/jenkins

    Jenkins automation server

    Java MIT License Updated Aug 26, 2022

  • lsp-java Public

    Forked from emacs-lsp/lsp-java

    lsp-mode ❤️ java

    Emacs Lisp GNU General Public License v3.0 Updated Aug 26, 2022

  • melrose-for-emacs Public

    Emacs extension for Melrose music programmable MIDI server

    Emacs Lisp 3 MIT License Updated Aug 20, 2022

  • mu Public

    Forked from djcb/mu

    maildir indexer/searcher + emacs mail client + guile bindings

    C++ GNU General Public License v3.0 Updated Aug 19, 2022