Repositories list

• rules_haskell

  Public
  Haskell rules for Bazel.

  haskellbazelbazel-rules+ 1build-system

  Starlark

  •

  Apache License 2.0

  •89•280•180•44•Updated Jan 10, 2026Jan 10, 2026

• nixpkgs

  Public
  Nix Packages collection

  Nix

  •

  MIT License

  •18k•1•0•1•Updated Jan 10, 2026Jan 10, 2026

• ouroboros-consensus-testing

  Public

  tweag/ouroboros-consensus-testing’s past year of commit activity
  Implementation of a Consensus Layer for the Ouroboros family of protocols

  Haskell

  •

  Apache License 2.0

  •0•2•2•4•Updated Jan 9, 2026Jan 9, 2026

• cardano-cls

  Public
  Canonical Ledger Format for Cardano

  Haskell

  •0•1•9•4•Updated Jan 9, 2026Jan 9, 2026

• ormolu

  Public
  A formatter for Haskell source code

  haskellformatter

  Haskell

  •

  Other

  •87•1k•71•2•Updated Jan 9, 2026Jan 9, 2026

• nickel

  Public
  Better configuration for less

  infrastructurerustnix+ 3configurationnickelconfiguration-language

  Rust

  •

  MIT License

  •108•2.8k•135•15•Updated Jan 9, 2026Jan 9, 2026

• github-value

  Public
  Demonstrate the value of GitHub

  TypeScript

  •

  MIT License

  •9•0•0•11•Updated Jan 9, 2026Jan 9, 2026

• cooked-validators

  Public

  tweag/cooked-validators’s past year of commit activity
  Haskell

  •

  MIT License

  •11•42•15•1•Updated Jan 9, 2026Jan 9, 2026

• plutus-reexec

  Public

  tweag/plutus-reexec’s past year of commit activity
  Plutus Script Re-Executor

  Haskell

  •

  MIT License

  •0•1•33•5•Updated Jan 9, 2026Jan 9, 2026

• topiary

  Public
  Rust

  •

  MIT License

  •47•776•89•10•Updated Jan 9, 2026Jan 9, 2026

• CIPs

  Public
  Cardano Improvement Proposals (CIPs)

  JavaScript

  •

  Creative Commons Attribution 4.0 International

  •375•0•0•0•Updated Jan 9, 2026Jan 9, 2026

• tbagrel-phd-manuscript

  Public
  Thomas BAGREL PhD manuscript on _Type systems for memory management in functional programming languages_

  TeX

  •0•2•0•0•Updated Jan 9, 2026Jan 9, 2026

• cardano-hoarding-node

  Public
  Hoarding Node for Cardano

  Nix

  •0•1•9•2•Updated Jan 9, 2026Jan 9, 2026

• ouroboros-consensus

  Public

  tweag/ouroboros-consensus’s past year of commit activity
  Implementation of a Consensus Layer for the Ouroboros family of protocols

  Haskell

  •

  Apache License 2.0

  •38•0•0•5•Updated Jan 9, 2026Jan 9, 2026

• cardano-node

  Public
  The core component that is used to participate in a Cardano decentralised blockchain.

  Haskell

  •

  Apache License 2.0

  •750•0•0•1•Updated Jan 9, 2026Jan 9, 2026

• pup

  Public
  Bidirectional grammar combinators

  haskellparser-combinatorshaskell-library+ 2pretty-printingbidirectional-programming

  Haskell

  •

  MIT License

  •0•6•0•0•Updated Jan 9, 2026Jan 9, 2026

• rust-alpine-mimalloc

  Public
  Shell

  •7•38•0•0•Updated Jan 9, 2026Jan 9, 2026

• cardano-conformance-testing-of-consensus

  Public
  0•2•16•1•Updated Jan 9, 2026Jan 9, 2026

• rules_fawltydeps

  Public
  Fawltydeps rules(!) to keep your bazel python dependencies in check

  pythonbazelbazel-rules

  Starlark

  •

  MIT License

  •0•0•0•2•Updated Jan 9, 2026Jan 9, 2026

• bazel-central-registry

  Public
  The central registry of Bazel modules for the Bzlmod external dependency system.

  Starlark

  •

  Apache License 2.0

  •640•0•0•6•Updated Jan 8, 2026Jan 8, 2026

• cardano-haskell-packages

  Public
  Metadata for Cardano's Haskell package repository

  Shell

  •

  Apache License 2.0

  •33•0•0•0•Updated Jan 8, 2026Jan 8, 2026

• nix-security-tracker

  Public
  Web service for managing information on vulnerabilities in software distributed through Nixpkgs

  Python

  •15•0•0•0•Updated Jan 8, 2026Jan 8, 2026

• ouroboros-network

  Public
  Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

  Haskell

  •

  Apache License 2.0

  •96•0•0•0•Updated Jan 8, 2026Jan 8, 2026

• stacked

  Public
  A modern indexed monad library for Haskell

  haskellhaskell-librarycontinuations+ 2delimited-controlindexed-monad

  Haskell

  •

  MIT License

  •1•8•1•0•Updated Jan 8, 2026Jan 8, 2026

• cardano-ledger

  Public
  The ledger implementation and specifications of the Cardano blockchain.

  Haskell

  •

  Apache License 2.0

  •171•0•0•2•Updated Jan 8, 2026Jan 8, 2026

• credential-helper

  Public
  A credential-helper framework and agent for Bazel and similar tools implementing the credential-helper spec.

  awsauthenticationcredentials+ 4s3google-cloudbazelgcs

  Go

  •

  Apache License 2.0

  •6•28•6•7•Updated Jan 8, 2026Jan 8, 2026

• nickel-lang.org

  Public
  The website of the Nickel language

  JavaScript

  •

  MIT License

  •6•5•15•1•Updated Jan 7, 2026Jan 7, 2026

• rules_nixpkgs

  Public
  Rules for importing Nixpkgs packages into Bazel.

  nixbazelbazel-rules+ 1nixpkgs

  Starlark

  •

  Apache License 2.0

  •92•359•63•26•Updated Jan 5, 2026Jan 5, 2026

• linear-constraints

  Public
  TeX

  •0•8•11•0•Updated Jan 5, 2026Jan 5, 2026

• monad-bayes

  Public
  A library for probabilistic programming in Haskell.

  Jupyter Notebook

  •

  MIT License

  •69•442•37•8•Updated Jan 4, 2026Jan 4, 2026