Skip to content
Change the repository type filter

All

    Repositories list

    • A daemon that asynchronously copies paths to a remote store.
      Haskell
      21110Updated Dec 18, 2025Dec 18, 2025
    • motoko

      Public
      Simple high-level language for writing Internet Computer canisters
      OCaml
      118100Updated Dec 18, 2025Dec 18, 2025
    • deploy-rs

      Public
      A simple multi-profile Nix-flake deploy tool.
      Rust
      1371.9k9137Updated Dec 18, 2025Dec 18, 2025
    • Internal Services Cluster
      Nix
      22001Updated Dec 18, 2025Dec 18, 2025
    • Haskell cryptography done right
      Haskell
      519161Updated Dec 18, 2025Dec 18, 2025
    • xrefcheck

      Public
      Check cross-references in repository documents
      Haskell
      5563410Updated Dec 18, 2025Dec 18, 2025
    • An application that lets you search for anything on Hackage
      Haskell
      02531Updated Dec 18, 2025Dec 18, 2025
    • Automatically produce per-endpoint monitorings for servant apps
      Haskell
      40201Updated Dec 18, 2025Dec 18, 2025
    • A reverse proxy that provides authentication with Google, Github or other provider
      Go
      1.2k002Updated Dec 17, 2025Dec 17, 2025
    • subspace

      Public
      A fork of the simple WireGuard VPN server GUI community maintained
      HTML
      455101Updated Dec 17, 2025Dec 17, 2025
    • Nix Flake templates for various languages
      Nix
      45051Updated Dec 15, 2025Dec 15, 2025
    • Motoko language support for VS Code.
      JavaScript
      18000Updated Dec 15, 2025Dec 15, 2025
    • Compile and run Motoko smart contracts in Node.js or the browser.
      TypeScript
      4000Updated Dec 15, 2025Dec 15, 2025
    • Get your IO right on the first try
      Haskell
      35531Updated Dec 15, 2025Dec 15, 2025
    • tzbot

      Public
      Timezone bot for Slack
      Haskell
      27145Updated Dec 15, 2025Dec 15, 2025
    • NixOS tooling for Hashicorp Vault
      Nix
      88441Updated Dec 15, 2025Dec 15, 2025
    • A library with common infrastructure functions
      Nix
      0001Updated Dec 15, 2025Dec 15, 2025
    • Nix Flake Update daemon
      Rust
      23133Updated Dec 15, 2025Dec 15, 2025
    • Serokell Nix infrastructure library
      Nix
      62503Updated Dec 10, 2025Dec 10, 2025
    • nixpkgs

      Public
      Pinned Nixpkgs tree (master follows nixos-unstable-small, only tags have stable history)
      Nix
      17k312Updated Dec 9, 2025Dec 9, 2025
    • ghc

      Public
      Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org)
      Haskell
      732000Updated Nov 28, 2025Nov 28, 2025
    • HTML
      0100Updated Nov 26, 2025Nov 26, 2025
    • stackage

      Public
      "Stable Hackage": vetted consistent packages from Hackage
      Dockerfile
      820000Updated Oct 6, 2025Oct 6, 2025
    • universum

      Public
      🌌 Prelude written in @serokell
      Haskell
      29185326Updated Oct 6, 2025Oct 6, 2025
    • Various forms of Tezos software distribution for Linux and macOS.
      Python
      2162137Updated Sep 8, 2025Sep 8, 2025
    • Dependency pins for all of Serokell's Nix flakes
      Makefile
      1000Updated Aug 26, 2025Aug 26, 2025
    • Cryptographic currency implementing Ouroboros PoS protocol
      Haskell
      629000Updated Jul 23, 2025Jul 23, 2025
    • Pinned nix-darwin tree (for macOS builders, follows upstream master)
      Nix
      576000Updated Jul 21, 2025Jul 21, 2025
    • Proposed compiler and language changes for GHC and GHC/Haskell
      Python
      274000Updated Jun 2, 2025Jun 2, 2025
    • ic

      Public
      Internet Computer blockchain source: the client/replica software run by nodes
      Rust
      371000Updated May 20, 2025May 20, 2025