-
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedNov 3, 2025 -
disko Public
Forked from nix-community/diskoFormat disks with nix-config [maintainer=@Lassulus]
Nix MIT License UpdatedOct 23, 2025 -
-
SC-election-2025 Public
Forked from NixOS/SC-election-20252025 Election for the Steering Committee
Haskell Other UpdatedSep 14, 2025 -
terraform-provider-keycloak Public
Forked from keycloak/terraform-provider-keycloakTerraform provider for Keycloak
Go Apache License 2.0 UpdatedSep 10, 2025 -
zulip Public
Forked from zulip/zulipZulip server and web application. Open-source team chat that helps teams stay productive and focused.
Python Apache License 2.0 UpdatedAug 21, 2025 -
bencher Public
Forked from bencherdev/bencher🐰 Bencher - Continuous Benchmarking
MDX Other UpdatedJul 23, 2025 -
-
hackdays2025 Public
Forked from suitenumerique/hackdays2025For three days, take part in the creation of open-source apps aimed at strengthening European digital sovereignty.
Python Do What The F*ck You Want To Public License UpdatedJun 3, 2025 -
openbao Public
Forked from openbao/openbaoOpenBao exists to provide a software solution to manage, store, and distribute sensitive data including secrets, certificates, and keys.
Go Mozilla Public License 2.0 UpdatedFeb 27, 2025 -
go-plugin-rs Public template
Forked from DerekStrickland/go-plugin-rsHashiCorp `go-plugin` mechanism for Rust programs
Rust Mozilla Public License 2.0 UpdatedFeb 21, 2025 -
-
sail Public
Forked from rems-project/sailSail architecture definition language
Isabelle Other UpdatedFeb 12, 2025 -
-
sail-arm Public
Forked from rems-project/sail-armSail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
Isabelle Other UpdatedFeb 11, 2025 -
liminix Public
Forked from telent/liminixMy personal copy of development for gti.telent.net:dan/liminix
Nix Other UpdatedFeb 6, 2025 -
tcp-stream Public
Forked from amqp-rs/tcp-streamstd::net::TcpStream on steroids
Rust BSD 2-Clause "Simplified" License UpdatedJan 1, 2025 -
nix-security-tracker Public
Forked from NixOS/nix-security-trackerWeb service for managing information on vulnerabilities in software distributed through Nixpkgs
Python UpdatedDec 12, 2024 -
-
microvm.nix Public
Forked from microvm-nix/microvm.nixNixOS MicroVMs
Nix MIT License UpdatedNov 20, 2024 -
aeneas Public
Forked from AeneasVerif/aeneasA verification toolchain for Rust programs
OCaml Apache License 2.0 UpdatedNov 10, 2024 -
the irc crate – usable, async IRC for Rust
Rust Mozilla Public License 2.0 UpdatedOct 11, 2024 -
systemd Public
Forked from systemd/systemdThe systemd System and Service Manager
C GNU General Public License v2.0 UpdatedOct 9, 2024 -
terraform-provider-garage Public
Forked from prologin/terraform-provider-garage -
-
cgroup-exporter Public
Forked from arianvp/cgroup-exporterGo Apache License 2.0 UpdatedSep 15, 2024 -
-
demo-infra Public
This is a repository for various PoC & demoes that I share with people I work with.
1 UpdatedSep 12, 2024 -
cargo2nix Public
Forked from Alexis211/cargo2nixBuild Rust crates with Nix
Nix MIT License UpdatedSep 3, 2024
{{ message }}