kkysen
Follow
Starred repositories
Providing estimates of NYC Subway service frequency using the MTA GTFS static schedule data
Subway Stories, for the MTA Open Data Challenge 2024
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