Implementation of ERC 7524 - PLUME for ECDSA Nullifiers

A command line tool for turning Dirtywave M8 songs into Midi tracks

an implementation of BLAKE3 verified streaming

An APL-like programming language

Simulates a persistent and non-persistent Carrier Sense Multiple Access/Collision Detect (CSMA/CD) protocol in computer networking, written in Python.

A simple 5G mobility simulator written in Python.

Homelab is my infrastructure-as-code deployment of Kubernetes for running miscellaneous microservices as well as wired and wireless network research experiments.

Mina Monitor is an extended graphical version of the mina client status command with additional indicators. This is a client-server application for visual monitoring of the validator node and alert…

🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1247🚀) dependencies🚀

An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.

Normalization by evaluation for intrinsic System F

A simple implementation of Discrete Interval Encoding Trees

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

Ada Bare Bones OS development tutorial source code

WebAssembly backend for OCaml

FunTAL: mixing a functional language with assembly.

Ocaml binding generator for vulkan

Tiny wrapper around Node streams2 Transform to avoid explicit subclassing noise

A lightweight, X11 tiling window manager that behaves like vim

Game engine written in Go (golang).