Amit Levy's Projects
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
An in browser framework for defending against malicious CDNs
Miscellaneous tex-related files
A single address space "OS" in a process
A secure embedded operating system for Cortex-M based microcontrollers
(WIP) Template repository for a standalone Tock app in C
Template for a Rust Tock process
Reference CLI for Tox
Software, firmware and hardware designs for Ubertooth
A Vala/Gtk+ graphical user interface for Tox
Haskell Web Application Interface
Tools for parsing and (eventually) interpreting and analyzing WebAssembly
XMPP/Jabber Library for Ruby