Skip to content

@serokell Serokell

Change the repository type filter

All

    Repositories list

    256 repositories

    • tzbot

      Public
      Timezone bot for Slack
      Haskell
      •
      Mozilla Public License 2.0
      •2•7•14•5•Updated Jun 23, 2025Jun 23, 2025

    • haskell-with-utf8

      Public
      Get your IO right on the first try
      filesunicodehaskellinput-outpututf8
      Haskell
      •3•54•3•1•Updated Jun 23, 2025Jun 23, 2025

    • update-daemon

      Public
      Nix Flake Update daemon
      Rust
      •
      Other
      •2•31•3•3•Updated Jun 23, 2025Jun 23, 2025

    • deploy-rs

      Public
      A simple multi-profile Nix-flake deploy tool.
      nixdeploymenttoolnixosflakesnix-flake
      Rust
      •
      Other
      •110•1.7k•88•30•Updated Jun 23, 2025Jun 23, 2025

    • vault-secrets

      Public
      NixOS tooling for Hashicorp Vault
      Nix
      •8•80•4•1•Updated Jun 23, 2025Jun 23, 2025

    • common-infra

      Public
      A library with common infrastructure functions
      Nix
      •0•0•0•1•Updated Jun 23, 2025Jun 23, 2025

    • tezos-packaging

      Public
      Various forms of Tezos software distribution for Linux and macOS.
      Python
      •
      MIT License
      •22•61•11•2•Updated Jun 11, 2025Jun 11, 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
      •
      Other
      •720•0•0•0•Updated Jun 10, 2025Jun 10, 2025

    • gemini-infra

      Public
      Internal Services Cluster
      Nix
      •2•19•0•1•Updated Jun 9, 2025Jun 9, 2025

    • vscode-motoko

      Public
      Motoko language support for VS Code.
      JavaScript
      •
      Apache License 2.0
      •19•0•0•0•Updated Jun 5, 2025Jun 5, 2025

    • nixfmt-website

      Public
      HTML
      •
      Mozilla Public License 2.0
      •0•1•0•0•Updated Jun 3, 2025Jun 3, 2025

    • ghc-proposals

      Public
      Proposed compiler and language changes for GHC and GHC/Haskell
      Python
      •274•0•0•0•Updated Jun 2, 2025Jun 2, 2025

    • hackage-search

      Public
      An application that lets you search for anything on Hackage
      searchhaskellhackage
      Haskell
      •0•25•3•0•Updated May 30, 2025May 30, 2025

    • ic

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

    • node-motoko

      Public
      Compile and run Motoko smart contracts in Node.js or the browser.
      TypeScript
      •
      Apache License 2.0
      •4•0•0•0•Updated May 16, 2025May 16, 2025

    • motoko

      Public
      Simple high-level language for writing Internet Computer canisters
      OCaml
      •
      Apache License 2.0
      •113•1•0•1•Updated 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
      •3•1•0•0•Updated May 10, 2025May 10, 2025

    • haskell-crypto

      Public
      Haskell cryptography done right
      haskellcryptographylibsodium
      Haskell
      •6•18•15•1•Updated Apr 28, 2025Apr 28, 2025

    • nixpkgs

      Public
      Pinned Nixpkgs tree (master follows nixos-unstable-small, only tags have stable history)
      Nix
      •
      MIT License
      •16k•3•1•2•Updated Apr 24, 2025Apr 24, 2025

    • tezos-packaging-stable

      Public
      Mirror of the latest stable release from the tezos-packaging
      Python
      •
      MIT License
      •0•0•0•0•Updated Apr 14, 2025Apr 14, 2025

    • foundry

      Public
      Morte IDE
      Haskell
      •2•29•3•0•Updated Apr 3, 2025Apr 3, 2025

    • xrefcheck

      Public
      Check cross-references in repository documents
      githublink-checkermarkdownverifier
      Haskell
      •
      Mozilla Public License 2.0
      •6•56•33•10•Updated Mar 31, 2025Mar 31, 2025

    • flake-registry

      Public
      Dependency pins for all of Serokell's Nix flakes
      Makefile
      •0•0•0•0•Updated Mar 27, 2025Mar 27, 2025

    • tezos-packaging-rc

      Public
      Mirror of the latest release candidate release from the tezos-packaging
      Python
      •
      MIT License
      •0•0•0•0•Updated Mar 26, 2025Mar 26, 2025

    • purebred-email

      Public
      A fast email parsing library implemented in Haskell
      Haskell
      •
      GNU Affero General Public License v3.0
      •5•0•0•0•Updated Mar 20, 2025Mar 20, 2025

    • servant-prometheus

      Public
      Automatically produce per-endpoint monitorings for servant apps
      haskellmetricsservantprometheus
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •40•2•0•0•Updated Mar 20, 2025Mar 20, 2025

    • ocaml-recovery-parser

      Public
      Error recovery library for Menhir parser generator for OCaml
      menhirerror-recovery
      OCaml
      •1•1•2•0•Updated Mar 20, 2025Mar 20, 2025

    • serokell.nix

      Public
      Serokell Nix infrastructure library
      Nix
      •6•24•0•3•Updated Feb 21, 2025Feb 21, 2025

    • xrefcheck-action

      Public
      GitHub action for xrefcheck
      Shell
      •
      Mozilla Public License 2.0
      •0•6•0•0•Updated Feb 3, 2025Feb 3, 2025

    • o-clock

      Public
      ⌛ Type-safe time units in Haskell
      haskelltimerational-numberstype-safetytype-level-programming
      Haskell
      •
      Mozilla Public License 2.0
      •6•49•6•0•Updated Jan 22, 2025Jan 22, 2025