zeldovich

histar

HiStar operating system (not under active development)

go-rpcgen

fsnotify

File system notifications for Go.

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

go-algorand

Algorand's official implementation in Go.

algorand-specs

Algorand Specifications

authlib

The ultimate Python library in building OAuth, OpenID Connect clients and servers. JWS,JWE,JWK,JWA,JWT included.

CompCert

The CompCert formally-verified C compiler

cryptobib-db

CryptoBib Database for Developers

hotcrp-buzzer

go-algorand-sdk

Algorand Golang SDK

goose

Goose converts a small subset of Go to Coq

icebreaker

Web app that allows students to ask real-time, anonymous questions during class

iris-named-props

Named Props for Iris

l4v

seL4 specification and proofs

ledger-app-algorand

meteor

Meteor, an ultra-simple, database-everywhere, data-on-the-wire, pure-Javascript web framework.

msgp

A Go code generator for MessagePack / msgpack.org[Go]

msgp2

perennial

Verifying concurrent crash-safe systems

pywasm

A WebAssembly interpreter written in pure Python

slips

SatoshiLabs Improvement Proposals

synology-wireguard

WireGuard support for some Synology NAS drives

testrepo

testrepo-1

tn40xx-driver

Linux driver for tn40xx from Tehuti Networks

touchstone-auth

Access Touchstone SSO sites easily without a web browser.

wasmtime

A fast and secure runtime for WebAssembly

xous-core

The Xous microkernel

zytemp_mqtt

MQTT interface for Holtek USB-zyTemp CO2 sensors