-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedMay 15, 2025 -
-
-
FStar Public
Forked from FStarLang/FStarVerification system for effectful programs
F* Apache License 2.0 UpdatedJan 25, 2025 -
jade-dotfiles Public
Forked from lf-/dotfilesDotfiles, a monorepo, who is to know!!
Haskell MIT License UpdatedJan 25, 2025 -
fstar-vscode-assistant Public
Forked from FStarLang/fstar-vscode-assistantAn interactive mode for F* in VS Code
TypeScript Other UpdatedJan 15, 2025 -
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Creative Commons Zero v1.0 Universal UpdatedOct 4, 2024 -
openmls Public
Forked from openmls/openmlsRust implementation of the Messaging Layer Security (MLS) protocol
Rust MIT License UpdatedOct 2, 2024 -
nixie Public
Forked from nixie-dev/nixiePut Nix in everything!
Python GNU General Public License v2.0 UpdatedSep 5, 2024 -
aeneas Public
Forked from AeneasVerif/aeneasA verification toolchain for Rust programs
-
RIOT-rs Public
Forked from ariel-os/ariel-osRust & RIOT combined for ergonomic embedded development
Rust Apache License 2.0 UpdatedMar 4, 2024 -
-
-
-
edhoc-rs Public
Forked from openwsn-berkeley/lakersEDHOC Implementation in Rust
Rust BSD 3-Clause "New" or "Revised" License UpdatedNov 20, 2023 -
squirrel-prover Public
Forked from squirrel-prover/squirrel-proverThe Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
OCaml Other UpdatedOct 31, 2023 -
-
-
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedSep 1, 2023 -
ocaml-ts-mode Public
Forked from dmitrig/ocaml-ts-modeOCaml major mode using tree-sitter
Emacs Lisp UpdatedAug 20, 2023 -
-
agdapad Public
Forked from iblech/agdapadAgda as a collaborative multiplayer game
-
trace Public
Forked from gsingh93/traceA Rust procedural macro for tracing function execution
Rust MIT License UpdatedDec 27, 2022 -
ppx_matches Public
Forked from wrbs/ppx_matchesTranslates [%matches? <PATTERN>] into (function | <PATTERN> -> true | _ -> false)
OCaml MIT License UpdatedDec 23, 2022 -
hacspec Public
Forked from hacspec/hacspecA specification language for cryptography primitives.
Coq MIT License UpdatedDec 22, 2022 -
bertie Public
Forked from cryspen/bertieBertie TLS 1.3 Implementation
-
-
{{ message }}