Highlights
- Pro
-
kani Public
Forked from model-checking/kaniKani Rust Verifier
Rust Apache License 2.0 UpdatedMar 6, 2025 -
penumbra Public
Forked from penumbra-zone/penumbraPenumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.
Rust Apache License 2.0 UpdatedMar 18, 2024 -
sigstore-rs Public
Forked from sigstore/sigstore-rsAn experimental Rust crate for sigstore
Rust Apache License 2.0 UpdatedApr 19, 2023 -
rust-keylime Public
Forked from keylime/rust-keylimeRust implementation of the keylime agent (Not ready for deployment)
Rust Apache License 2.0 UpdatedFeb 27, 2023 -
enarx-keepldr Public
Forked from enarx-archive/enarx-keepldrEnarx Keep Loader
Rust Apache License 2.0 UpdatedDec 30, 2022 -
enarx Public
Forked from enarx/enarxTools for deploying WebAssembly into Enarx Keeps.
Rust Apache License 2.0 UpdatedSep 9, 2022 -
keylime Public
Forked from keylime/keylimeA CNCF Project to Bootstrap & Maintain Trust on the Edge / Cloud and IoT
Python Apache License 2.0 UpdatedAug 23, 2022 -
abstreet Public
Forked from a-b-street/abstreetTransportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit
Rust Apache License 2.0 UpdatedAug 17, 2022 -
-
shamir Public
A demonstration of Shamir secret sharing in Trusted Execution Environments (TEEs) using Enarx.
Rust UpdatedMar 11, 2022 -
cargo-fuzz Public
Forked from rust-fuzz/cargo-fuzzCommand line helpers for fuzzing
Rust Apache License 2.0 UpdatedMar 7, 2022 -
-
hubris Public
Forked from oxidecomputer/hubrisA lightweight, memory-protected, message-passing kernel for deeply embedded systems.
Rust Mozilla Public License 2.0 UpdatedJan 14, 2022 -
ndarray Public
Forked from rust-ndarray/ndarrayndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations
Rust Apache License 2.0 UpdatedMar 2, 2021 -
The Go programming language
Go BSD 3-Clause "New" or "Revised" License UpdatedFeb 26, 2021 -
lustre-collector Public
Forked from whamcloud/lustre-collectorCollects various Lustre properties and serializes to JSON or YAML output
Rust MIT License UpdatedFeb 13, 2021 -
-
weather Public
Forked from genuinetools/weatherWeather via the command line.
Go MIT License UpdatedSep 17, 2020 -
coffee-table Public
Gets you a table at your local coffee shop.
Shell MIT License UpdatedAug 22, 2020 -
snex2 Public
Forked from cosmictransients/starfleetPython GNU General Public License v3.0 UpdatedMay 27, 2020 -
ostep-code Public
Forked from remzi-arpacidusseau/ostep-codeCode from various chapters in OSTEP (http://www.ostep.org)
C UpdatedMay 9, 2020 -
MAPServer Public
Forked from AstroChem/MAPServerFlask website hosting TCLEAN and 97F7 RML image products.
HTML MIT License UpdatedApr 27, 2020 -
vault Public
Forked from hashicorp/vaultA tool for secrets management, encryption as a service, and privileged access management
Go Mozilla Public License 2.0 UpdatedJan 28, 2020 -
-
-
singularity-userdocs Public
Forked from apptainer/singularity-userdocsUser Documentation
TeX UpdatedNov 26, 2019 -
pw Public
Forked from ojensen5115/pwCLI password manager written in Rust, using Keybase FS for storage
Rust UpdatedOct 22, 2019 -
opennebula-puppet-module Public
Forked from fasrc/opennebula-puppet-moduleThe one module allows to install and manage your OpenNebula cloud
-
pure-bash-bible Public
Forked from dylanaraps/pure-bash-bible📖 A collection of pure bash alternatives to external processes.
Shell MIT License UpdatedSep 19, 2019 -
merlin Public
Forked from dalek-cryptography/merlinComposable proof transcripts for public-coin arguments of knowledge
Rust MIT License UpdatedAug 23, 2019