Lists (2)
Stars
Low-level unprivileged sandboxing tool used by Flatpak and similar projects
Sioyek is a PDF viewer with a focus on textbooks and research papers
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
Bringing the Helix editor to the evil side
Playing around "Less Slow" coding practices in C++ 20, C, CUDA, PTX, & Assembly, from numerics & SIMD to coroutines, ranges, exception handling, networking and user-space IO
IPPL is a C++ library to develop performance portable code for fully Eulerian, Lagrangian or hybrid Eulerian-Lagrangian methods.
Catalog of applications using first principles tools
A text editor in C with drop down menus from scratch. No ncurses.
A simple programming language for researching different ways of program execution and compilation
Plotlars is a Rust library designed to facilitate the integration between the Polars data analysis library and Plotly library.
Secure and fast microVMs for serverless computing.
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workl…
the scott CPU from "But How Do It Know?" by J. Clark Scott
A minimal Tensor Processing Unit (TPU) inspired by Google's TPUv1.
The LLM-powered function builder for TypeScript
Created a bot to check when new rooms are posted on the WOKO housing website
Experimental WASM Microkernel Operating System
Repository for the main Dockerfile with the OpenWorm software stack and project-wide issues
Core POSIX command line utilities in safe Rust
Awesome materials about database development.
Image viewer. Fast, easy to use. Optional video support.
Build and use highly customized and ultra-lightweight unikernel VMs.