Stars
azolotko / plutoplus
Forked from plutoplus/plutoplusPlutoSDR+ firmware
PlutoPlus SDR Firmware binaries and build scripts
HACL*, a formally verified cryptographic library written in F*
Verified implementation of TLS 1.3 in F*
andreasdotorg / opendylan
Forked from dylan-lang/opendylanThe Open Dylan compiler and IDE.
andreasdotorg / ethersex
Forked from ethersex/ethersexetherrape port towards IPv6
Batteries Included project
My hack of Cyrus Harmon's Common Lisp blog software
andreasdotorg / cccms
Forked from hukl/cccmsCreative Chaos Content Management System
Batteries Included project