Propietario
clash-lang
16 repositorios indexados · Ver en GitHub
-
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
Haskell · 1626 estrellas
-
ghc-typelits-natnormalise
Normalise GHC.TypeLits.Nat equations
Haskell · 45 estrellas
-
clash-protocols
a battery-included library for dataflow protocols
Haskell · 26 estrellas
-
ghc-typelits-extra
Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Haskell · 18 estrellas
-
ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
Haskell · 14 estrellas
-
ghc-tcplugins-extra
Utilities for writing GHC type-checker plugins
Haskell · 10 estrellas
-
Haskell · 9 estrellas
-
Haskell · 9 estrellas
-
ghc-typelits-proof-assist
This work has been supported in part by funding from the Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur).
Haskell · 5 estrellas
-
stack-templates
Templates for `stack new` command
Haskell · 5 estrellas
-
Haskell · 3 estrellas
-
clash-crypto
This work has been supported in part by funding from the Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur).
Haskell · 3 estrellas
-
checked-literals
Haskell plugin for compile time literal bound checking (without TH)
Haskell · 1 estrella
-
JavaScript · 1 estrella
-
Haskell · 0 estrellas
-
CSS · 0 estrellas
Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha
-
bug
Dificultad 4/5 3-5 días Aptitud para principiantes 22/100
clash-lang/clash-compiler#3529 · 7 comentarios ·
Los mantenedores suelen responder en 1 día
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
clash-lang/clash-compiler#3521 ·
Los mantenedores suelen responder en 1 día
-
enhancement
Dificultad 4/5 3-5 días Aptitud para principiantes 22/100
clash-lang/clash-cores#82 ·
Los mantenedores suelen responder en 1 día
-
enhancement
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
clash-lang/clash-cores#81 ·
Los mantenedores suelen responder en 1 día
-
bug
Dificultad 4/5 3-5 días Aptitud para principiantes 55/100
clash-lang/clash-compiler#3488 · 4 comentarios ·
Los mantenedores suelen responder en 1 día
-
enhancement
Dificultad 5/5 Más de una semana Aptitud para principiantes 18/100
clash-lang/clash-cores#73 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Upstream patches to `rewrite-inspector`Quizá libre de nuevo @leonschoorl la tomó hace 61 días y no hay ningún pull request abierto. Abierto
clash-lang/clash-compiler#3403 · 1 comentario · 1 asignado ·
Los mantenedores suelen responder en 1 día
-
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
clash-lang/ghc-typelits-natnormalise#141 · 1 comentario ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 52/100
clash-lang/checked-literals#20 · 3 comentarios ·
-
False-positive conditionsAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
clash-lang/checked-literals#19 · 1 comentario ·
-
Allow CI to publish to HackageAbiertoCI improvement
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
clash-lang/clash-shockwaves#139 ·
-
tooling integration
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
clash-lang/clash-compiler#3313 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Dificultad 3/5 1-2 días Aptitud para principiantes 63/100
-
bug enhancement
Dificultad 3/5 1-2 días Aptitud para principiantes 50/100
clash-lang/clash-compiler#3303 · 5 comentarios ·
Los mantenedores suelen responder en 1 día
-
Implement Clash.Falsify.Sized.VectorQuizá libre de nuevo @hiddemoll la tomó hace 146 días y no hay ningún pull request abierto. Abierto
clash-lang/clash-prelude-falsify#9 · 1 asignado ·
-
Implement Clash.Falsify.Sized.UnsignedQuizá libre de nuevo @lmbollen la tomó hace 146 días y no hay ningún pull request abierto. Abierto
clash-lang/clash-prelude-falsify#8 · 1 asignado ·
-
Implement Clash.Falsify.Sized.SignedQuizá libre de nuevo @luukqbay la tomó hace 146 días y no hay ningún pull request abierto. Abierto
clash-lang/clash-prelude-falsify#7 · 1 asignado ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
-
Implement Clash.Falsify.Sized.IndexQuizá libre de nuevo @gmagaf la tomó hace 146 días y no hay ningún pull request abierto. Abierto
clash-lang/clash-prelude-falsify#5 · 1 asignado ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
-
Implement Clash.Falsify.Promoted.NatQuizá libre de nuevo @JvWesterveld la tomó hace 146 días y no hay ningún pull request abierto. Abierto
clash-lang/clash-prelude-falsify#2 · 1 asignado ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100
-
bug external bug
Dificultad 4/5 3-5 días Aptitud para principiantes 52/100
clash-lang/clash-compiler#3278 · 8 comentarios ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
-
Dificultad 1/5 1-3 horas Aptitud para principiantes 72/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
clash-lang/clash-compiler#3253 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
`SynthesisAttributes` should probably be deprecated for non-top entitiesQuizá libre de nuevo @martijnbastiaan la tomó hace 191 días y no hay ningún pull request abierto. Abierto
clash-lang/clash-compiler#3217 · 1 asignado ·
Los mantenedores suelen responder en 1 día
-
Check for broken linksQuizá libre de nuevo @rowanG077 la tomó hace 197 días y no hay ningún pull request abierto. Abierto
clash-lang/clash-lang.org#123 · 1 asignado ·
-
Investigate if `-fno-worker-wrapper` flag can be unilaterally removed from modern clash projectsQuizá libre de nuevo @leonschoorl la tomó hace 162 días y no hay ningún pull request abierto. Abierto
clash-lang/clash-compiler#3210 · 1 asignado ·
Los mantenedores suelen responder en 1 día
-
enhancement
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
clash-lang/clash-compiler#3208 ·
Los mantenedores suelen responder en 1 día
-
Combine workflowsAbiertoCI improvement
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
clash-lang/clash-shockwaves#105 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
clash-lang/clash-compiler#3191 ·
Los mantenedores suelen responder en 1 día
-
bug
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
clash-lang/checked-literals#11 · 1 comentario · 1 reacción ·
-
Nix cache isn't trustedAbierto
Dificultad 3/5 1-2 días Aptitud para principiantes 52/100
clash-lang/clash-compiler#3175 · 4 comentarios ·
Los mantenedores suelen responder en 1 día
-
Simplify type signatures?Abiertoimprovement Shockwaves library
Dificultad 4/5 3-5 días Aptitud para principiantes 42/100
clash-lang/clash-shockwaves#71 · 5 comentarios ·
-
Static buildAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
clash-lang/ghc-typelits-natnormalise#130 · 1 comentario · 1 reacción ·
-
breaking documentation feature HOWTO guides Shockwaves library Surfer extension testing
Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100
-
bug Shockwaves library
Dificultad 2/5 1-3 horas Aptitud para principiantes 45/100
clash-lang/clash-shockwaves#43 · 1 comentario ·
-
Add examplesAbiertodocumentation improvement
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
-
bug
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
clash-lang/clash-compiler#3153 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Domain-dependent stylingAbiertofeature Shockwaves library Surfer extension
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
-
Make an issue templateAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 45/100
clash-lang/clash-compiler#3149 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
clash-lang/clash-compiler#3143 · 4 comentarios ·
Los mantenedores suelen responder en 1 día
-
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
clash-lang/clash-compiler#3122 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
clash-lang/clash-compiler#3121 · 8 comentarios · 1 reacción ·
Los mantenedores suelen responder en 1 día
-
SNat output always 64-bitsAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
clash-lang/clash-compiler#3120 · 5 comentarios ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 45/100
clash-lang/clash-protocols#188 ·
-
Clash-dependent Shockwaves library testing
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
Change String to TextAbiertobreaking documentation HOWTO guides improvement Shockwaves library
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
Rewrite TraceAbiertobreaking Clash-dependent feature Shockwaves library
Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100
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.