Skip to content
Change the repository type filter

All

    Repositories list

    • An application that lets you search for anything on Hackage
      Haskell
      02530Updated May 30, 2025May 30, 2025
    • Various forms of Tezos software distribution for Linux and macOS.
      Python
      MIT License
      2260111Updated May 27, 2025May 27, 2025
    • tzbot

      Public
      Timezone bot for Slack
      Haskell
      Mozilla Public License 2.0
      27145Updated May 26, 2025May 26, 2025
    • Get your IO right on the first try
      Haskell
      35431Updated May 26, 2025May 26, 2025
    • Nix Flake Update daemon
      Rust
      Other
      22933Updated May 26, 2025May 26, 2025
    • deploy-rs

      Public
      A simple multi-profile Nix-flake deploy tool.
      Rust
      Other
      1061.6k8826Updated May 26, 2025May 26, 2025
    • NixOS tooling for Hashicorp Vault
      Nix
      87841Updated May 26, 2025May 26, 2025
    • A library with common infrastructure functions
      Nix
      0001Updated May 26, 2025May 26, 2025
    • ic

      Public
      Internet Computer blockchain source: the client/replica software run by nodes
      Rust
      Other
      347000Updated May 20, 2025May 20, 2025
    • Internal Services Cluster
      Nix
      21901Updated May 19, 2025May 19, 2025
    • Motoko language support for VS Code.
      JavaScript
      Apache License 2.0
      19000Updated May 16, 2025May 16, 2025
    • Compile and run Motoko smart contracts in Node.js or the browser.
      TypeScript
      Apache License 2.0
      4000Updated May 16, 2025May 16, 2025
    • HTML
      Mozilla Public License 2.0
      0100Updated May 14, 2025May 14, 2025
    • motoko

      Public
      Simple high-level language for writing Internet Computer canisters
      OCaml
      Apache License 2.0
      112101Updated May 13, 2025May 13, 2025
    • hsblst

      Public
      Haskell bindings and high-level interface to BLST -- a BLS12-381 cryptography library
      Haskell
      Mozilla Public License 2.0
      3100Updated May 10, 2025May 10, 2025
    • Haskell cryptography done right
      Haskell
      618151Updated Apr 28, 2025Apr 28, 2025
    • nixpkgs

      Public
      Pinned Nixpkgs tree (master follows nixos-unstable-small, only tags have stable history)
      Nix
      MIT License
      16k312Updated Apr 24, 2025Apr 24, 2025
    • Proposed compiler and language changes for GHC and GHC/Haskell
      Python
      274000Updated Apr 19, 2025Apr 19, 2025
    • Mirror of the latest stable release from the tezos-packaging
      Python
      MIT License
      0000Updated Apr 14, 2025Apr 14, 2025
    • foundry

      Public
      Morte IDE
      Haskell
      22930Updated Apr 3, 2025Apr 3, 2025
    • xrefcheck

      Public
      Check cross-references in repository documents
      Haskell
      Mozilla Public License 2.0
      6563310Updated Mar 31, 2025Mar 31, 2025
    • Dependency pins for all of Serokell's Nix flakes
      Makefile
      0000Updated Mar 27, 2025Mar 27, 2025
    • Mirror of the latest release candidate release from the tezos-packaging
      Python
      MIT License
      0000Updated Mar 26, 2025Mar 26, 2025
    • A fast email parsing library implemented in Haskell
      Haskell
      GNU Affero General Public License v3.0
      5000Updated Mar 20, 2025Mar 20, 2025
    • Automatically produce per-endpoint monitorings for servant apps
      Haskell
      BSD 3-Clause "New" or "Revised" License
      40200Updated Mar 20, 2025Mar 20, 2025
    • Error recovery library for Menhir parser generator for OCaml
      OCaml
      1120Updated Mar 20, 2025Mar 20, 2025
    • Serokell Nix infrastructure library
      Nix
      62403Updated Feb 21, 2025Feb 21, 2025
    • GitHub action for xrefcheck
      Shell
      Mozilla Public License 2.0
      0600Updated Feb 3, 2025Feb 3, 2025
    • o-clock

      Public
      ⌛ Type-safe time units in Haskell
      Haskell
      Mozilla Public License 2.0
      64960Updated Jan 22, 2025Jan 22, 2025
    • Tasty integration with the existing HUnit package.
      Haskell
      MIT License
      0001Updated Jan 20, 2025Jan 20, 2025