-
kani Public
Forked from model-checking/kaniKani Rust Verifier
Rust Apache License 2.0 UpdatedMay 13, 2025 -
-
-
verify-rust-std Public
Forked from model-checking/verify-rust-stdVerifying the Rust standard library
Rust Other UpdatedNov 14, 2024 -
charon Public
Forked from AeneasVerif/charonInterface with the rustc compiler for the purpose of program verification
Rust Apache License 2.0 UpdatedNov 13, 2024 -
aws-c-common Public
Forked from awslabs/aws-c-commonCore c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
C Apache License 2.0 UpdatedMay 20, 2024 -
s2n-tls Public
Forked from aws/s2n-tlsAn implementation of the TLS/SSL protocols
C Apache License 2.0 UpdatedSep 27, 2023 -
kani-vscode-extension Public
Forked from model-checking/kani-vscode-extensionKani VSCode Extension
TypeScript Apache License 2.0 UpdatedMay 18, 2023 -
cbmc-starter-kit Public
Forked from model-checking/cbmc-starter-kitThe CBMC stater kit makes it easy to add CBMC verification to a software project.
Python MIT No Attribution UpdatedMay 3, 2023 -
kani-verifier-blog Public
Forked from model-checking/kani-verifier-blogRuby MIT No Attribution UpdatedApr 29, 2023 -
s2n-quic Public
Forked from aws/s2n-quicAn implementation of the IETF QUIC protocol
Rust Apache License 2.0 UpdatedMar 15, 2023 -
Jane-Street-Solutions Public
Forked from gowen100/Jane-Street-SolutionsSolutions to the Jane St monthly puzzles
Jupyter Notebook UpdatedMar 13, 2023 -
kani-github-action Public
Forked from model-checking/kani-github-actionThis repository provides a GitHub Action for running the Kani Rust Verifier in CI.
Python Apache License 2.0 UpdatedMar 8, 2023 -
coreJSON Public
Forked from padhi-forks/coreJSONA parser strictly enforcing the ECMA-404 JSON standard, suitable for microcontrollers
C MIT License UpdatedOct 31, 2022 -
-
-
-
-
-
-
-
-
-
-
sqlsynthesizer Public
Automatically exported from code.google.com/p/sqlsynthesizer
-
fithesis Public
Forked from liskin/fithesisLaTeX thesis style for Masaryk University
TeX UpdatedMay 14, 2012
{{ message }}