Starred repositories
A 10-chapter handbook for writing actually secure Rust: type-safety, panic-proofing & more.
Python library for analyzing the internal structure of deep neural networks.
A minimal Ubuntu base image modified for Docker-friendliness
Code for the anonymous submission "Cockpit: A Practical Debugging Tool for Training Deep Neural Networks"
Cockpit: A Practical Debugging Tool for Training Deep Neural Networks
A Haskell library to pretty print data in a tabular format
A beautiful, simple, clean, and responsive Jekyll theme for academics
A TypeScript-to-Luau Compiler for Roblox
Simple verification of Rust programs via functional purification in Lean 2(!)
Serverless, peer-to-peer, local file sharing through sound
Manage Kattis submissions, samples and templates from the terminal.
A safe arena allocator that allows deletion without suffering from the ABA problem by using generational indices.
bmwalters / Play
Forked from UltraStar-Deluxe/PlayThe free and open source karaoke singing game UltraStar Play for Windows, Linux, Android, Xbox, PlayStation and other platforms.
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
An open Apple AirDrop implementation written in Python
🔗 Some useful websites for programmers.
--DEPRECATED -- 🛑 🛑 Node.js library to bypass cloudflare's anti-ddos page
A collection of learning resources for curious software engineers
C++ utility class to perform callbacks into JavaScript from any thread
Node.js bindings for User Space Virtual File System (USVFS)
📦 Zero-configuration bundler for tiny modules.
Set up a modern web app by running one command.
An Awesome Boilerplate for ES6 client-based library, using Webpack, Babel, Karma, Istanbul, Eslint, plus Travis, Coveralls, david-dm, and saucelabs
Improvements to the ACM java libraries at http://www-cs-faculty.stanford.edu/~eroberts/jtf/