Lists (2)
Stars
I ❤︎ FEM: A finite element method demo in Umka and tophat
A native, user-mode, multi-process, graphical debugger.
Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
Neovim plugin to generate text using LLMs with customizable prompts
Simple and opinionated OpenID Connect server designed for self-hosters
A reference implementation of an event-sourced system that uses PostgreSQL as an event store built with Spring Boot. Fork the repository and use it as a template for your projects. Or clone the rep…
A pure WASM based game engine/editor that aims to recreate the vibe of Flash games
Definitional implementation of Cedar language and utilities for DRT
A remote writer/reader for Prometheus that stores TSDB data in ClickHouse
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…
A Git-compatible VCS that is both simple and powerful
Envision a future where every student can read all the code of a teaching operating system.
Tiny application that lets you force remote play together any game you have in your steam library including non-steam ones.
Protect your SSH keys with your Mac's Secure Enclave
C# as you know it but with Go-inspired tooling (small, selfcontained, and native executables)
Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.
Gamepad firmware for Raspberry Pi Pico and other RP2040 microcontrollers supporting Nintendo Switch, XInput and DirectInput
Low cost, low effort P2P WebRTC serverless signalling using Cloudflare Workers
Yosys plugin for synthesis of Bluespec code
Wireguard client that exposes itself as a socks5 proxy