kkysen
Follow
Starred repositories
Bottom-up memory-safety for assembly language using symbolic execution
Nukit Open Upper-Room UVGI Fixtures are Open Hardware devices for researching and developing localized Upper-Room UVGI solutions. They are not a DIY project and should only be used with UVC lights โฆ
Nukit Open Air Purifiers are Open Hardware devices for improving indoor air quality. They are designed to be used with North American standard HVAC filters and PC fans. They are often an improvemenโฆ
Run compilers interactively from your web browser and interact with the assembly
Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety anโฆ
A Trustfall adapter for querying rustc.
Execute Rust code carefully, with extra checking along the way
A Git-compatible VCS that is both simple and powerful
The Transit Operational Data Standard is an open standard for representing the transit schedules used by drivers, dispatchers, and planners to carry out transit operations.
An OpenStreetMap-based project for creating a map of the world's railway infrastructure.
The prettier pattern-matching parser with automatic error recovery
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
Finding the population of circles on earth
Make your code extra-safe by voluntarily dropping privileges
Fast, collaborative live terminal sharing over the web
What do you call a pointer we stole the high bits off? An ointer.
This rust compiler backend(module) emmits valid CIL (.NET IR), enabling you to use Rust in .NET projects.
Chromium fork named after radioactive element No. 90. Windows and MacOS/Raspi/Android/Special builds are in different repositories, links are towards the top of the README.md.
Website that detects headway discrepancy on New York City Subway system using live countdown clocks