Pinned Loading

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

   Emacs extension for Melrose music programmable MIDI server

   Emacs Lisp 3

2. 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

3. 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

4. womeier/secwasm womeier/secwasm Public

   OCaml 2

5. claudia claudia Public

   Claudia is an Emacs integration for the Claude AI assistant, providing an interface between Emacs and Anthropic's language models.

   Emacs Lisp 4 1

6. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection & NixOS

   Nix