Just Monika

Procon Controller (SwiCC v2)

WebAssembly (Wasm) arch support for the Linux kernel

A detour through the Linux dynamic linker

VST 3 Plug-In SDK

Embedded Development Framework for ECOS SoC Chip.

Stateful PCE Implementation and PCEP Library in Go

A book-in-progress about the Linux kernel and its insides.

Updated version of System Management Mode backdoor for UEFI based platforms: old dog, new tricks

[Go]Distributed Actor/Grain framework for Golang with goodies

The simplest implementation of Dependent Pattern Matching and Indexed Inductive Types.

A tool, similar to patchelf, making DLL FS location changes possible for EXE files using rel/abs paths.

🧩 Content editing tech stack for the web - BlockSuite is a toolkit for building editors and collaborative applications.

Wireguard, but compatible with mpls, no MTU overhead

A minimal development of SSA theory

Full-throttle, wire-speed hardware implementation of Wireguard VPN, using low-cost Artix7 FPGA with opensource toolchain. If you seek security and privacy, nothing is private in our codebase. Our d…

Refinement Types for Rust

Rust bindings for SystemVerilog DPI and VPI

Rust binding for DRAMsim3

Trace Maven traffic. Forge reproducible Nix repositories.

Mutate and observe Rust data structures.

[ICCV] NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning

Staged compilation with dependent types

Declarative hardware configuration for NixOS [maintainer=@brianmcgee,@Mic92]

A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education and research.

An embedding of ZFC into Agda

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

A JavaScript library to position floating elements and create interactions for them.