-
-
verus Public
Forked from verus-lang/verusVerified Rust for low-level systems code
Rust MIT License UpdatedJun 11, 2025 -
verified-storage Public
Forked from microsoft/verified-storageStorage systems with verified correctness properties
Rust MIT License UpdatedMay 14, 2025 -
latexrun Public
Forked from aclements/latexrunA 21st century LaTeX wrapper
Python MIT License UpdatedMay 14, 2025 -
verusfmt Public
Forked from verus-lang/verusfmtAn Opinionated Formatter for Verus
Rust MIT License UpdatedApr 3, 2025 -
-
pygments-dafny Public
Forked from Locke/pygments-dafnyPygments lexer for Dafny
Python UpdatedMar 26, 2025 -
tapir Public
Forked from UWSysLab/tapirTAPIR distributed transactional storage system
-
pulse-tutorial-24 Public
Forked from FStarLang/pulse-tutorial-24Files and devcontainer for POPL 24 Tutorial on Pulse
F* UpdatedOct 11, 2024 -
-
go-algorand Public
Forked from algorand/go-algorandAlgorand's official implementation in Go.
-
perennial Public
Forked from mit-pdos/perennialVerifying concurrent crash-safe systems
Coq MIT License UpdatedMay 9, 2024 -
CompCert Public
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler
Coq Other UpdatedSep 12, 2023 -
goose Public
Forked from goose-lang/gooseGoose converts a small subset of Go to Coq
Go MIT License UpdatedAug 18, 2023 -
-
msgp Public
Forked from tinylib/msgpA Go code generator for MessagePack / msgpack.org[Go]
Go MIT License UpdatedAug 16, 2023 -
go-algorand-sdk Public
Forked from algorand/go-algorand-sdkAlgorand Golang SDK
Go MIT License UpdatedAug 15, 2023 -
iris-named-props Public
Forked from tchajed/iris-named-propsNamed Props for Iris
Coq MIT License UpdatedMay 7, 2023 -
touchstone-auth Public
Forked from meson800/touchstone-authAccess Touchstone SSO sites easily without a web browser.
Python MIT License UpdatedMay 4, 2023 -
zytemp_mqtt Public
Forked from patrislav1/zytemp_mqttMQTT interface for Holtek USB-zyTemp CO2 sensors
Python BSD 3-Clause "New" or "Revised" License UpdatedMar 7, 2023 -
icebreaker Public
Forked from jonhoo/icebreakerWeb app that allows students to ask real-time, anonymous questions during class
Go MIT License UpdatedMar 5, 2023 -
authlib Public
Forked from authlib/authlibThe ultimate Python library in building OAuth, OpenID Connect clients and servers. JWS,JWE,JWK,JWA,JWT included.
Python BSD 3-Clause "New" or "Revised" License UpdatedJan 15, 2023 -
wasmtime Public
Forked from bytecodealliance/wasmtimeA fast and secure runtime for WebAssembly
Rust Apache License 2.0 UpdatedOct 27, 2022 -
pywasm Public
Forked from mohanson/pywasmA WebAssembly interpreter written in pure Python
Python MIT License UpdatedOct 24, 2022 -
synology-wireguard Public
Forked from runfalk/synology-wireguardWireGuard support for some Synology NAS drives
-
-
-
algorand-specs Public
Forked from algorandfoundation/specsAlgorand Specifications
Makefile UpdatedJun 7, 2021 -
cryptobib-db Public
Forked from cryptobib/dbCryptoBib Database for Developers
TeX UpdatedMar 16, 2021 -
coq Public
Forked from rocq-prover/rocqCoq 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 develo…
{{ message }}