Propietario

tweag

28 repositorios indexados · Ver en GitHub

ormolu
A formatter for Haskell source code

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

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

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

Starlark · 387 estrellas
funflow
Functional workflows

Haskell · 368 estrellas
linear-base
Standard library for linear types in Haskell.

Haskell · 359 estrellas
rules_haskell
Haskell rules for Bazel.

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

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

Rust · 109 estrellas
genealogos
Genealogos, a Nix sbom generator

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

Haskell · 56 estrellas
rules_sh
Shell rules for Bazel

Starlark · 49 estrellas
cooked-validators

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

Haskell · 39 estrellas
agentic-coding-handbook

Shell · 36 estrellas
credential-helper
A credential-helper framework and agent for Bazel and similar tools implementing the credential-helper spec.

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

Starlark · 15 estrellas
linear-constraints

TeX · 9 estrellas
run-nix-shell
GitHub action for executing scripts via nix-shell.

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

Haskell · 7 estrellas
8 repositorios más están en Ver en GitHub

Para principiantes Todo

Abierto Todos

Add option for passing extra arguments Abierto

enhancement tricorder

Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

tweag/tricorder#551 · Abierto el 23/9/2026
`Not in scope: ‘main’` while running tests Abierto

bug tricorder

tweag/tricorder#550 · 1 asignado · Abierto el 23/9/2026
Configure other arguments for the REPL without having to specify `command` in its entirety Abierto

enhancement tricorder

Dificultad 3/5 1-2 días Aptitud para principiantes 65/100

tweag/tricorder#549 · Abierto el 22/9/2026
Respect alternative locations for `cabal.project` and `stack.yaml` Abierto

enhancement tricorder

Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100

tweag/tricorder#545 · Abierto el 22/9/2026
Return `UnexpectedExit`'s log message to the client Abierto

enhancement tricorder

Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100

tweag/tricorder#543 · Abierto el 22/9/2026
`StartupFailed` prints the error message as a `show`ed string Abierto

bug tricorder

Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100

tweag/tricorder#542 · Abierto el 22/9/2026
Support building on GHC 9.14 from source distributions (Hackage) Abierto

enhancement tricorder

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

tweag/tricorder#538 · Abierto el 21/9/2026
Working with toolchain packages Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

tweag/opam-nix#162 · Abierto el 19/9/2026
Support centralised logging and metrics in cardano-testnet via cardano-tracer Abierto

testnet

Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

tweag/cardano-peras#293 · Abierto el 16/9/2026
Break up `test-results` sub-command into a nested sub-command to get a more granular view Abierto

enhancement tricorder

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

tweag/tricorder#483 · Abierto el 14/9/2026
Provde hermetic toolchain for BCR modules Abierto

type: feature request

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

tweag/rules_haskell#2451 · Abierto el 13/9/2026
Add publish to BCR workflow Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 42/100

tweag/credential-helper#97 · Abierto el 10/9/2026
Fix CI failures Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 55/100

tweag/credential-helper#96 · 1 asignado · Abierto el 10/9/2026
Example server retains vulnerable legacy X.509 TLS stack Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 72/100

tweag/webauthn#208 · Abierto el 7/9/2026
Consolidate `All Top` and `SListI` constraints Abierto

HFC

tweag/cardano-peras#285 · 1 asignado · Abierto el 4/9/2026
Implement Peras protocol parameters Abierto

ledger

tweag/cardano-peras#283 · 1 comentario · 1 asignado · Abierto el 2/9/2026
`tricorder source` should work on local project's modules Abierto

enhancement tricorder

Dificultad 3/5 1-2 días Aptitud para principiantes 64/100

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

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

tweag/credential-helper#94 · Abierto el 31/8/2026
Mark Nix toolchain extensions as `os_dependent` and `arch_dependent` Abierto

P1

Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100

tweag/rules_haskell#2449 · 1 comentario · Abierto el 31/8/2026
Make C-library symlink directory names in `pkgdb_to_bzl.py` deterministic Abierto

type: bug

Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100

tweag/rules_haskell#2448 · 3 comentarios · Abierto el 31/8/2026
Running notes on debugging the vote forging loop Abierto

bug testnet

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

tweag/cardano-peras#282 · 4 comentarios · Abierto el 31/8/2026
Tricorder fails to work on ghc-debug repo Abierto

bug tricorder

tweag/tricorder#415 · 7 comentarios · 1 asignado · Abierto el 29/8/2026
Allow `tricorder test-results` to specify test suite to show Abierto

enhancement tricorder

Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

tweag/tricorder#413 · Abierto el 28/8/2026
Different behaviour between stdin and direct file read Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

tweag/ormolu#1219 · 3 comentarios · Abierto el 27/8/2026
Prepare release 0.14.0 Abierto

tweag/rules_nixpkgs#749 · 2 comentarios · 1 asignado · Abierto el 27/8/2026
Windows CI times out after 6 hours Abierto

os:windows type: bug

Dificultad 4/5 3-5 días Aptitud para principiantes 50/100

tweag/rules_haskell#2447 · 1 comentario · Abierto el 27/8/2026
Rename `perasMaxBlockBodySize` in PerasParams and source it from proper `TxLimits blk` Abierto

ledger pre-alpha-to-mainnet

tweag/cardano-peras#280 · 1 asignado · Abierto el 24/8/2026
Reverse engineer the v2 revisions endpoints Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

tweag/hackage-server-v3#155 · Abierto el 13/8/2026
Support consensus tools Abierto

pre-alpha-to-mainnet

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

tweag/cardano-peras#277 · Abierto el 13/8/2026
Ledger <-> Consensus alignment w.r.t. Peras certificates in blocks Abierto

pre-alpha-to-mainnet

Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

tweag/cardano-peras#276 · Abierto el 13/8/2026
`tricorder source` does not show re-exported members Abierto

enhancement tricorder

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

tweag/tricorder#333 · Abierto el 11/8/2026
Update backwards compatible codecs Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 50/100

tweag/cardano-peras#275 · Abierto el 29/7/2026
Embedd Leios keys to Peras Abierto

ledger pre-alpha-to-mainnet

Dificultad 5/5 Más de una semana Aptitud para principiantes 28/100

tweag/cardano-peras#274 · 1 comentario · Abierto el 24/7/2026
Enforce that vote sizes kept in the Gov params are respected Abierto

network pre-alpha-to-mainnet

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

tweag/cardano-peras#273 · Abierto el 24/7/2026
Consider turning type indices into `type data` ones Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

tweag/cardano-peras#272 · Abierto el 24/7/2026
Enforce that certificate sizes kept in the Gov params are respected Abierto

ledger

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

tweag/cardano-peras#271 · 2 comentarios · Abierto el 23/7/2026
Document the proposition for revised certificate inclusion in blocks, and corresponding voting logic Abierto

enhancement pre-alpha-to-mainnet research

tweag/cardano-peras#270 · 1 asignado · Abierto el 22/7/2026
Testnet: manually transition testnet to Dijkstra Abierto

pre-alpha-to-mainnet testnet

tweag/cardano-peras#269 · 1 comentario · 2 asignados · Abierto el 22/7/2026
Ormolu dies trying to read inaccessible parent directory Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

tweag/ormolu#1212 · 1 comentario · Abierto el 18/7/2026
Preprod: support Peras enabled setup in the existing preprod tests Abierto

epic pre-alpha-to-mainnet

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

tweag/cardano-peras#268 · Abierto el 17/7/2026
Performance: Benchmark inter-epoch Peras context recomputation/ticking Abierto

pre-alpha-to-mainnet

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

tweag/cardano-peras#267 · Abierto el 17/7/2026
Testnet: validate that current synchronisation mechanism works with Peras enabled Abierto

pre-alpha-to-mainnet testnet

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

tweag/cardano-peras#266 · Abierto el 17/7/2026
Catching up using Genesis with Peras enabled Abierto

epic needs_investigation pre-alpha-to-mainnet

Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

tweag/cardano-peras#265 · Abierto el 17/7/2026
KillSwitch: mainnet ready implementation Abierto

epic needs_investigation pre-alpha-to-mainnet

Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

tweag/cardano-peras#263 · Abierto el 17/7/2026
ledger: mainnet readiness integration Abierto

epic ledger needs_investigation pre-alpha-to-mainnet

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

tweag/cardano-peras#262 · 6 comentarios · Abierto el 16/7/2026
network: mainnet readiness Abierto

epic miniprotocol needs_investigation network pre-alpha-to-mainnet

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

tweag/cardano-peras#261 · 1 comentario · Abierto el 16/7/2026
Migrate `scls-cardano` package to `cardano-ledger` repo Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

tweag/cardano-cls#309 · 1 comentario · Abierto el 15/7/2026
Revise the decision of allowing multiple epochs to be crossed when ticking a context resolver Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

tweag/cardano-peras#260 · Abierto el 14/7/2026
Propose a change to the constitution related to the protocol parameters Abierto

pre-alpha-to-mainnet

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

tweag/cardano-peras#259 · 2 comentarios · Abierto el 10/7/2026
Improve design around init/ticking of PerasEpochContextResolver Abierto

the-big-pr

Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

tweag/cardano-peras#258 · Abierto el 9/7/2026

Mostrando los 100 más recientes

Esta página solo lista lo indexado más recientemente. El filtro avanzado tiene el inventario completo, acotado por lenguaje, dificultad y duración.

Abrir el filtro avanzado

tweag

Mostrando los 100 más recientes

Recibe los nuevos issues en tu correo