See what the GitHub community is most excited about today.
Verification system for effectful programs
Verified implementation of TLS 1.3 in F*
Verified compilation of space-efficient reversible circuits
Automated generation of verified F* parsers from RFC specifications
Fault-tolerant distributed algorithms encoded in a formal language
Bioinformatics tool to find integrons in bacterial genomes
An implementation of the IETF QUIC protocol in F*
Morphological processing for languages of the Horn of Africa
An ML-like language aimed at program verification
Morphological analysis and generation
Improve Tesseract OCR for Tigrinya (tir)
[WIP] Writing low* code to implement dlists
ሚጥሚጣ: Assistant for Amharic-English Translation
Computer-assisted translation between resource-rich and resource-poor languages
Beware of the dangerous animals in the wild forest!
A few things for playing around in VR.
Liv's Avatars for High Fidelity