-
Aarhus University
- Copenhagen, Denmark
-
04:35
(UTC +02:00)
Highlights
- Pro
Pinned Loading
-
melrose-for-emacs
melrose-for-emacs PublicEmacs extension for Melrose music programmable MIDI server
Emacs Lisp 3
-
kubernetes
kubernetes PublicForked from kubernetes/kubernetes
Production-Grade Container Scheduling and Management
Go
-
-
refinement-types
refinement-types PublicA refinement type checker for simply typed lamda calculus with inductive data-types and well-founded recursive functions
OCaml 1
-
threshold-ecdsa
threshold-ecdsa PublicA 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
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.