Owner

tweag

20 indexed repositories · View on GitHub

ormolu
A formatter for Haskell source code

Haskell · 1073 stars
HaskellR
The full power of R in Haskell.

Haskell · 587 stars
monad-bayes
A library for probabilistic programming in Haskell.

Jupyter Notebook · 441 stars
rules_nixpkgs
Rules for importing Nixpkgs packages into Bazel.

Starlark · 387 stars
linear-base
Standard library for linear types in Haskell.

Haskell · 359 stars
rules_haskell
Haskell rules for Bazel.

Starlark · 279 stars
opam-nix
Turn opam-based OCaml projects into Nix derivations

Nix · 167 stars
nixtract
A CLI tool to extract the graph of derivations from a Nix flake.

Rust · 109 stars
genealogos
Genealogos, a Nix sbom generator

Rust · 58 stars
tricorder
Tricorder provides simple, fast, focused feedback when hacking on Haskell (with or without LLM agents).

Haskell · 56 stars
rules_sh
Shell rules for Bazel

Starlark · 49 stars
cooked-validators

Haskell · 44 stars
webauthn
A library for parsing and validating webauthn/fido2 credentials

Haskell · 39 stars
credential-helper
A credential-helper framework and agent for Bazel and similar tools implementing the credential-helper spec.

Go · 36 stars
gazelle_cabal
A gazelle extension to produce Haskell rules from cabal files

Starlark · 15 stars
run-nix-shell
GitHub action for executing scripts via nix-shell.

Shell · 8 stars
gazelle_haskell_modules
A gazelle extension to generate haskell_module rules

Haskell · 7 stars
cardano-peras
Architecture for Ouroboros Peras on the Cardano chain

TeX · 4 stars
cardano-cls
Canonical Ledger Format for Cardano

Haskell · 2 stars
hackage-server-v3

Haskell · 1 star

Beginner friendly Everything

Open All

Working with toolchain packages Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

tweag/opam-nix#162 · Opened Sep 19, 2026
Support centralised logging and metrics in cardano-testnet via cardano-tracer Open

testnet

Difficulty 4/5 3-5 days Newbie friendliness 25/100

tweag/cardano-peras#293 · Opened Sep 16, 2026
Break up `test-results` sub-command into a nested sub-command to get a more granular view Open

enhancement tricorder

Difficulty 5/5 Over a week Newbie friendliness 35/100

tweag/tricorder#483 · Opened Sep 14, 2026
Provde hermetic toolchain for BCR modules Open

type: feature request

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/rules_haskell#2451 · Opened Sep 13, 2026
Add publish to BCR workflow Open

Difficulty 3/5 1-2 days Newbie friendliness 42/100

tweag/credential-helper#97 · Opened Sep 10, 2026
Fix CI failures Open

Difficulty 2/5 1-3 hours Newbie friendliness 55/100

tweag/credential-helper#96 · Opened Sep 10, 2026
Example server retains vulnerable legacy X.509 TLS stack Open

Difficulty 3/5 1-2 days Newbie friendliness 72/100

tweag/webauthn#208 · Opened Sep 7, 2026
Consolidate `All Top` and `SListI` constraints Open

HFC

tweag/cardano-peras#285 · 1 assignee · Opened Sep 4, 2026
Implement Peras protocol parameters Open

ledger

tweag/cardano-peras#283 · 1 comment · 1 assignee · Opened Sep 2, 2026
`tricorder source` should work on local project's modules Open

enhancement tricorder

Difficulty 3/5 1-2 days Newbie friendliness 64/100

tweag/tricorder#426 · Opened Sep 1, 2026
Race condition: a duplicate agent-launch process can briefly coexist with the original, causing intermittent credential resolution failures under concurrent load Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

tweag/credential-helper#94 · Opened Aug 31, 2026
Mark Nix toolchain extensions as `os_dependent` and `arch_dependent` Open

P1

Difficulty 2/5 1-3 hours Newbie friendliness 84/100

tweag/rules_haskell#2449 · 1 comment · Opened Aug 31, 2026
Make C-library symlink directory names in `pkgdb_to_bzl.py` deterministic Open

type: bug

Difficulty 2/5 1-3 hours Newbie friendliness 84/100

tweag/rules_haskell#2448 · 3 comments · Opened Aug 31, 2026
Running notes on debugging the vote forging loop Open

bug testnet

Difficulty 4/5 3-5 days Newbie friendliness 35/100

tweag/cardano-peras#282 · 4 comments · Opened Aug 31, 2026
Tricorder fails to work on ghc-debug repo Open

bug tricorder

tweag/tricorder#415 · 5 comments · 1 assignee · Opened Aug 29, 2026
Allow `tricorder test-results` to specify test suite to show Open

enhancement tricorder

Difficulty 3/5 1-2 days Newbie friendliness 45/100

tweag/tricorder#413 · Opened Aug 28, 2026
Different behaviour between stdin and direct file read Open

Difficulty 3/5 1-2 days Newbie friendliness 68/100

tweag/ormolu#1219 · 3 comments · Opened Aug 27, 2026
Prepare release 0.14.0 Open

tweag/rules_nixpkgs#749 · 2 comments · 1 assignee · Opened Aug 27, 2026
Windows CI times out after 6 hours Open

os:windows type: bug

Difficulty 4/5 3-5 days Newbie friendliness 50/100

tweag/rules_haskell#2447 · 1 comment · Opened Aug 27, 2026
Rename `perasMaxBlockBodySize` in PerasParams and source it from proper `TxLimits blk` Open

ledger pre-alpha-to-mainnet

tweag/cardano-peras#280 · 1 assignee · Opened Aug 24, 2026
Improve debugging Open

enhancement tricorder

tweag/tricorder#380 · 5 comments · 1 assignee · Opened Aug 17, 2026
Reverse engineer the v2 revisions endpoints Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

tweag/hackage-server-v3#155 · Opened Aug 13, 2026
Support consensus tools Open

pre-alpha-to-mainnet

Difficulty 5/5 Over a week Newbie friendliness 35/100

tweag/cardano-peras#277 · Opened Aug 13, 2026
Ledger <-> Consensus alignment w.r.t. Peras certificates in blocks Open

pre-alpha-to-mainnet

Difficulty 5/5 Over a week Newbie friendliness 30/100

tweag/cardano-peras#276 · Opened Aug 13, 2026
`tricorder source` does not show re-exported members Open

enhancement tricorder

Difficulty 3/5 1-2 days Newbie friendliness 68/100

tweag/tricorder#333 · Opened Aug 11, 2026
Update backwards compatible codecs Open

Difficulty 4/5 3-5 days Newbie friendliness 50/100

tweag/cardano-peras#275 · Opened Jul 29, 2026
Embedd Leios keys to Peras Open

ledger pre-alpha-to-mainnet

Difficulty 5/5 Over a week Newbie friendliness 28/100

tweag/cardano-peras#274 · 1 comment · Opened Jul 24, 2026
Enforce that vote sizes kept in the Gov params are respected Open

network pre-alpha-to-mainnet

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/cardano-peras#273 · Opened Jul 24, 2026
Consider turning type indices into `type data` ones Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

tweag/cardano-peras#272 · Opened Jul 24, 2026
Enforce that certificate sizes kept in the Gov params are respected Open

ledger

Difficulty 4/5 3-5 days Newbie friendliness 45/100

tweag/cardano-peras#271 · 2 comments · Opened Jul 23, 2026
Document the proposition for revised certificate inclusion in blocks, and corresponding voting logic Open

enhancement pre-alpha-to-mainnet research

tweag/cardano-peras#270 · 1 assignee · Opened Jul 22, 2026
Testnet: manually transition testnet to Dijkstra Open

pre-alpha-to-mainnet testnet

tweag/cardano-peras#269 · 1 comment · 2 assignees · Opened Jul 22, 2026
Ormolu dies trying to read inaccessible parent directory Open

Difficulty 3/5 1-2 days Newbie friendliness 68/100

tweag/ormolu#1212 · 1 comment · Opened Jul 18, 2026
Preprod: support Peras enabled setup in the existing preprod tests Open

epic pre-alpha-to-mainnet

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/cardano-peras#268 · Opened Jul 17, 2026
Performance: Benchmark inter-epoch Peras context recomputation/ticking Open

pre-alpha-to-mainnet

Difficulty 4/5 3-5 days Newbie friendliness 45/100

tweag/cardano-peras#267 · Opened Jul 17, 2026
Testnet: validate that current synchronisation mechanism works with Peras enabled Open

pre-alpha-to-mainnet testnet

Difficulty 4/5 3-5 days Newbie friendliness 35/100

tweag/cardano-peras#266 · Opened Jul 17, 2026
Catching up using Genesis with Peras enabled Open

epic needs_investigation pre-alpha-to-mainnet

Difficulty 5/5 Over a week Newbie friendliness 20/100

tweag/cardano-peras#265 · Opened Jul 17, 2026
KillSwitch: mainnet ready implementation Open

epic needs_investigation pre-alpha-to-mainnet

Difficulty 5/5 Over a week Newbie friendliness 30/100

tweag/cardano-peras#263 · Opened Jul 17, 2026
ledger: mainnet readiness integration Open

epic ledger needs_investigation pre-alpha-to-mainnet

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/cardano-peras#262 · 6 comments · Opened Jul 16, 2026
network: mainnet readiness Open

epic miniprotocol needs_investigation network pre-alpha-to-mainnet

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/cardano-peras#261 · 1 comment · Opened Jul 16, 2026
Migrate `scls-cardano` package to `cardano-ledger` repo Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

tweag/cardano-cls#309 · 1 comment · Opened Jul 15, 2026
Revise the decision of allowing multiple epochs to be crossed when ticking a context resolver Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

tweag/cardano-peras#260 · Opened Jul 14, 2026
Propose a change to the constitution related to the protocol parameters Open

pre-alpha-to-mainnet

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/cardano-peras#259 · 2 comments · Opened Jul 10, 2026
Improve design around init/ticking of PerasEpochContextResolver Open

the-big-pr

Difficulty 4/5 3-5 days Newbie friendliness 42/100

tweag/cardano-peras#258 · Opened Jul 9, 2026
Improve parameter generation in ChainDB state machine tests Open

testing

Difficulty 4/5 3-5 days Newbie friendliness 45/100

tweag/cardano-peras#257 · Opened Jul 8, 2026
Do not hardcode PerasRoundLength in HFC diffusion tests Open

testing

Difficulty 2/5 1-3 hours Newbie friendliness 68/100

tweag/cardano-peras#256 · Opened Jul 6, 2026
Properly handle HFC dispatch for OpaquePerasCert Open

HFC the-big-pr

Difficulty 4/5 3-5 days Newbie friendliness 45/100

tweag/cardano-peras#255 · Opened Jul 6, 2026
Use the latest strict-sop-core to get rid of `All Top xs` constraints everywhere Open

HFC low-prio pre-alpha-to-mainnet

Difficulty 5/5 Over a week Newbie friendliness 35/100

tweag/cardano-peras#254 · Opened Jul 2, 2026
Introduce basic & (additive conjunction) and possibly ⊤ (top - additive conjunctive unit) types Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

tweag/linear-base#514 · 5 comments · Opened Jun 28, 2026
Exploration: more control over running tests Open

enhancement tricorder

Difficulty 5/5 Over a week Newbie friendliness 35/100

tweag/tricorder#245 · 1 comment · Opened Jun 25, 2026

Showing the newest 100

This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.

Open advanced filter

tweag

Showing the newest 100

Get new issues in your inbox