FUSE filesystem over Google Drive

MirageOS is a library operating system that constructs unikernels

Programming language for literate programming law specification

🍬 a functional language for building type-safe, scalable, and maintainable applications

KaRaMeL is a tool for extracting low-level F* programs to readable C code

😎TT

Compiler from C to brainfuck

Static analysis framework for C

Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife

A unikernel as an IRC client