A sample NixOS config for a Lima VM instance (uses the Lima flake)

An easy-to-build three point camera shutter speed tester

Dotfiles for NixOS

VPNStatus, a replacement for macOS builtin VPN Status

Dutch latenight show "De Avondshow met Arjen Lubach" showed a link with this domain but forgot to register it. Rookie mistake.

A Fast, Low-Overhead On-chip Network

An energy-efficient RISC-V floating-point compute cluster.

This repository is the home of the River reverse proxy application, based on the pingora library from Cloudflare.

Simple 3-stage pipeline RISC-V processor

Universal local privilege escalation Proof-of-Concept exploit for CVE-2024-1086, working on most Linux kernels between v5.14 and v6.6, including Debian, Ubuntu, and KernelCTF. The success rate is 9…

4 stage, in-order, compute RISC-V core based on the CV32E40P

Linux Capable 32-bit RISC-V based SoC in System Verilog

Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.

Open-Source Notification Platform. Embeddable Notification Center, E-mail, Push and Slack Integrations.

Linux kernel map

modern full-featured open source secure mail server for low-maintenance self-hosted email

4 stage, in-order, secure RISC-V core based on the CV32E40P

The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source …

Minimal Unix-like hobby OS

Unix-like OS in Rust inspired by xv6-riscv

Functional verification project for the CORE-V family of RISC-V cores.

Official release of InternLM series (InternLM, InternLM2, InternLM2.5, InternLM3).

GUI file synchronization client that can sync with any cloud provider

FreeBSD adapted for CHERI-RISC-V and Arm Morello.

Mockito for golang

AI powered alt account detection for Discord using NLP.

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Dozer is a real-time data movement tool that leverages CDC from various sources and moves data into various sinks.

Microkernel and userspace written in Rust exploring modern ideas