A programming language with static memory management based on λ-calculus

Firmware for flashlights using loneoceans attiny1616 drivers

Rust implementation for the IEEE 802.15.4 protocol

Kohai is a very simple (but opinionated) timetracker for my personal usage

CV32E40X Design-Verification environment

A certificate verification library for rustls that uses the operating system's verifier

Bare metal Go UEFI bootloader

Zig Kernel Module

Linux kernel module written in Zig

A library for incremental computations

Scylla, a tool for translating ultra-regular C code to Safe Rust

nano IO event loop

A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.

OpenSSH fork with support for Intel TDX remote attestation

Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)

Visualize Ownership and Lifetimes in Rust

問題 - Finds issues in comments and text files

Project F brings FPGAs to life with exciting open-source designs you can build on.

A library for lattice-based multiparty homomorphic encryption in Go

An implementation of an auditable key directory

Your Key Transparency auditor companion

Hue Bridge Emulator

Experimental clang support for WG21 P2996 (Reflection).

Source code from screencasts from the Kernighan and Ritchie challenge on YouTube.

Public Key Addressable Resource Records (sovereign TLDs)

Bertie TLS 1.3 Implementation