Skip to content
Change the repository type filter

All

    Repositories list

    • The Motoko base library
      Motoko
      Apache License 2.0
      99008Updated Nov 7, 2024Nov 7, 2024
    • tzbot

      Public
      Timezone bot for Slack
      Haskell
      Mozilla Public License 2.0
      27144Updated Nov 4, 2024Nov 4, 2024
    • Get your IO right on the first try
      Haskell
      35231Updated Nov 4, 2024Nov 4, 2024
    • NixOS tooling for Hashicorp Vault
      Nix
      87231Updated Nov 4, 2024Nov 4, 2024
    • deploy-rs

      Public
      A simple multi-profile Nix-flake deploy tool.
      Rust
      Other
      1011.4k7523Updated Nov 4, 2024Nov 4, 2024
    • A library with common infrastructure functions
      Nix
      0001Updated Nov 4, 2024Nov 4, 2024
    • Nix Flake Update daemon
      Rust
      Other
      12543Updated Nov 4, 2024Nov 4, 2024
    • xrefcheck

      Public
      Check cross-references in repository documents
      Haskell
      Mozilla Public License 2.0
      3543410Updated Nov 2, 2024Nov 2, 2024
    • Collection of canister performance benchmarks
      Rust
      Apache License 2.0
      8002Updated Oct 31, 2024Oct 31, 2024
    • hsblst

      Public
      Haskell bindings and high-level interface to BLST -- a BLS12-381 cryptography library
      Haskell
      Mozilla Public License 2.0
      2101Updated Oct 26, 2024Oct 26, 2024
    • Various forms of Tezos software distribution for Linux and macOS.
      Python
      MIT License
      2160112Updated Oct 25, 2024Oct 25, 2024
    • HTML
      Mozilla Public License 2.0
      0000Updated Oct 24, 2024Oct 24, 2024
    • ghc.dev

      Public
      The https://ghc.dev Website Generator
      Haskell
      82120Updated Oct 22, 2024Oct 22, 2024
    • Internal Services Cluster
      Nix
      21711Updated Oct 21, 2024Oct 21, 2024
    • Mirror of the latest stable release from the tezos-packaging
      Python
      MIT License
      0000Updated Oct 17, 2024Oct 17, 2024
    • universum

      Public
      🌌 Prelude written in @serokell
      Haskell
      MIT License
      28176326Updated Oct 16, 2024Oct 16, 2024
    • Haskell cryptography done right
      Haskell
      616151Updated Oct 7, 2024Oct 7, 2024
    • Nix Flake templates for various languages
      Nix
      44850Updated Oct 1, 2024Oct 1, 2024
    • Serokell Nix infrastructure library
      Nix
      62403Updated Sep 26, 2024Sep 26, 2024
    • nixpkgs

      Public
      Pinned Nixpkgs tree (master follows nixos-unstable-small, only tags have stable history)
      Nix
      MIT License
      14k312Updated Sep 23, 2024Sep 23, 2024
    • Pinned nix-darwin tree (for macOS builders, follows upstream master)
      Nix
      MIT License
      450000Updated Sep 20, 2024Sep 20, 2024
    • Flexible and extensible interpolation for Haskell
      Haskell
      Mozilla Public License 2.0
      24134Updated Sep 20, 2024Sep 20, 2024
    • A daemon that asynchronously copies paths to a remote store.
      Haskell
      Mozilla Public License 2.0
      21110Updated Sep 18, 2024Sep 18, 2024
    • A fast email parsing library implemented in Haskell
      Haskell
      GNU Affero General Public License v3.0
      5000Updated Sep 12, 2024Sep 12, 2024
    • Dependency pins for all of Serokell's Nix flakes
      Makefile
      0000Updated Aug 7, 2024Aug 7, 2024
    • motoko

      Public
      Simple high-level language for writing Internet Computer canisters
      OCaml
      Apache License 2.0
      97100Updated Jul 16, 2024Jul 16, 2024
    • hs-web3

      Public
      Web3 API for Haskell.
      Haskell
      Apache License 2.0
      68000Updated Jun 18, 2024Jun 18, 2024
    • GitHub action for xrefcheck
      Shell
      Mozilla Public License 2.0
      0600Updated May 27, 2024May 27, 2024
    • mav

      Public
      Rust crates for the MAVLink lightweight messaging protocol for communicating with drones (and between onboard drone components).
      Rust
      8000Updated May 1, 2024May 1, 2024
    • Servant servers utilities
      Haskell
      Mozilla Public License 2.0
      93490Updated Apr 30, 2024Apr 30, 2024