A proof assistant for fitch-style natural deduction proofs.

Haskell implemented with combinators

🍜 A tasty Haskell web framework

ElKowars wacky widgets

A new Categories library for Agda

Towards a verified back-end for The Glorious Glasgow Haskell Compilation System

A simple functional language compiler that targets C

A collection of useful .gitignore templates

Create book from markdown files. Like Gitbook but implemented in Rust

Adding support for the Rust language to the Linux kernel.

Writing an OS in Rust

Single-file PHP shell

A bootloader and experimentation playground for Apple Silicon

The CompCert formally-verified C compiler