-
nix-darwin Public
Forked from nix-darwin/nix-darwinnix modules for darwin
Nix MIT License UpdatedMay 12, 2025 -
-
home-manager Public
Forked from nix-community/home-managerBasic system for managing a user environment using Nix
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedApr 3, 2025 -
-
-
zig-retry Public
Forked from softprops/zig-retry♻️ Retry faillible zig functions
Zig MIT License UpdatedMar 19, 2025 -
filestash.nix Public
A Nix package and NixOS module for Filestash
-
cardano-node-emulator Public
Forked from IntersectMBO/cardano-node-emulatorHaskell Apache License 2.0 UpdatedJan 15, 2025 -
antaeus Public
Forked from IntersectMBO/antaeusCardano end-to-end testing framework for Haskell APIs
Haskell UpdatedJan 15, 2025 -
credential-manager Public
Forked from IntersectMBO/credential-managerCredential and Identity management script for Constitutional Committee memebrs backed by X.509 certificates
Haskell Apache License 2.0 UpdatedJan 15, 2025 -
plutus-tx-template Public template
Forked from IntersectMBO/plinth-templateThis is a template repository for kickstarting your plutus-tx smart contract project. Please refer to the README.md for more information.
Haskell Apache License 2.0 UpdatedJan 15, 2025 -
formal-ledger-specifications Public
Forked from IntersectMBO/formal-ledger-specificationsFormal specifications of the cardano ledger
Agda Apache License 2.0 UpdatedJan 14, 2025 -
filestash Public
Forked from mickael-kerjean/filestash🦄 A file manager / web client for SFTP, S3, FTP, WebDAV, Git, Minio, LDAP, CalDAV, CardDAV, Mysql, Backblaze, ...
JavaScript GNU Affero General Public License v3.0 UpdatedDec 30, 2024 -
home-manager-shell Public
nix-shell for your home-manager config
-
-
-
-
-
github-webhooks Public
Forked from cuedo/github-webhooksHaskell types and instances for decoding GitHub webhook payloads.
Haskell MIT License UpdatedAug 17, 2024 -
-
-
-
FastCDC-c Public
Forked from wxiacode/FastCDC-cAn implementation of FastCDC in C
C MIT License UpdatedJul 15, 2023 -
zig-validate Public
Forked from mov-rax/zig-validateA type validation library for writing a zero-cost, declarative, understandable, generic code in zig.
Zig MIT License UpdatedJul 2, 2023 -
qmk_firmware Public
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
C GNU General Public License v2.0 UpdatedFeb 1, 2023 -
-
scany Public
Forked from georgysavva/scanyexperimental georgysavva/scany for pgx v5
Go MIT License UpdatedJul 20, 2022 -
ragenix Public
Forked from yaxitech/ragenixage-encrypted secrets for NixOS; drop-in replacement for agenix
Rust Apache License 2.0 UpdatedOct 10, 2021 -
Very efficient backup system based on the git packfile format, providing fast incremental saves and global deduplication (among and within files, including virtual machine images). Current release …
Python Other UpdatedSep 17, 2021
{{ message }}