Chủ sở hữu
clash-lang
Đã lập chỉ mục 16 kho mã nguồn · Xem trên GitHub
-
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
Haskell · 1626 star
-
ghc-typelits-natnormalise
Normalise GHC.TypeLits.Nat equations
Haskell · 45 star
-
clash-protocols
a battery-included library for dataflow protocols
Haskell · 26 star
-
ghc-typelits-extra
Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Haskell · 18 star
-
ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
Haskell · 14 star
-
ghc-tcplugins-extra
Utilities for writing GHC type-checker plugins
Haskell · 10 star
-
Haskell · 9 star
-
Haskell · 9 star
-
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 star
-
stack-templates
Templates for `stack new` command
Haskell · 5 star
-
Haskell · 3 star
-
clash-crypto
This work has been supported in part by funding from the Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur).
Haskell · 3 star
-
checked-literals
Haskell plugin for compile time literal bound checking (without TH)
Haskell · 1 star
-
JavaScript · 1 star
-
Haskell · 0 star
-
CSS · 0 star
Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày
-
bug
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 22/100
clash-lang/clash-compiler#3529 · 7 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100
clash-lang/clash-compiler#3521 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
enhancement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 22/100
clash-lang/clash-cores#82 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
enhancement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
clash-lang/clash-cores#81 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
bug
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100
clash-lang/clash-compiler#3488 · 4 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 18/100
clash-lang/clash-cores#73 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Upstream patches to `rewrite-inspector`Có thể làm lại được @leonschoorl đã nhận 61 ngày trước và không có pull request nào đang mở. Đang mở
clash-lang/clash-compiler#3403 · 1 bình luận · 1 người được giao ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
clash-lang/ghc-typelits-natnormalise#141 · 1 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100
clash-lang/checked-literals#20 · 3 bình luận ·
-
False-positive conditionsĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
clash-lang/checked-literals#19 · 1 bình luận ·
-
Allow CI to publish to HackageĐang mởCI improvement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
clash-lang/clash-shockwaves#139 ·
-
tooling integration
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
clash-lang/clash-compiler#3313 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 63/100
-
bug enhancement
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 50/100
clash-lang/clash-compiler#3303 · 5 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Implement Clash.Falsify.Sized.VectorCó thể làm lại được @hiddemoll đã nhận 146 ngày trước và không có pull request nào đang mở. Đang mở
clash-lang/clash-prelude-falsify#9 · 1 người được giao ·
-
Implement Clash.Falsify.Sized.UnsignedCó thể làm lại được @lmbollen đã nhận 146 ngày trước và không có pull request nào đang mở. Đang mở
clash-lang/clash-prelude-falsify#8 · 1 người được giao ·
-
Implement Clash.Falsify.Sized.SignedCó thể làm lại được @luukqbay đã nhận 146 ngày trước và không có pull request nào đang mở. Đang mở
clash-lang/clash-prelude-falsify#7 · 1 người được giao ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Implement Clash.Falsify.Sized.IndexCó thể làm lại được @gmagaf đã nhận 146 ngày trước và không có pull request nào đang mở. Đang mở
clash-lang/clash-prelude-falsify#5 · 1 người được giao ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
-
Implement Clash.Falsify.Promoted.NatCó thể làm lại được @JvWesterveld đã nhận 146 ngày trước và không có pull request nào đang mở. Đang mở
clash-lang/clash-prelude-falsify#2 · 1 người được giao ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
-
bug external bug
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100
clash-lang/clash-compiler#3278 · 8 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
-
Độ khó 1/5 1-3 giờ Mức phù hợp với người mới 72/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
clash-lang/clash-compiler#3253 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
`SynthesisAttributes` should probably be deprecated for non-top entitiesCó thể làm lại được @martijnbastiaan đã nhận 191 ngày trước và không có pull request nào đang mở. Đang mở
clash-lang/clash-compiler#3217 · 1 người được giao ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Check for broken linksCó thể làm lại được @rowanG077 đã nhận 197 ngày trước và không có pull request nào đang mở. Đang mở
clash-lang/clash-lang.org#123 · 1 người được giao ·
-
Investigate if `-fno-worker-wrapper` flag can be unilaterally removed from modern clash projectsCó thể làm lại được @leonschoorl đã nhận 162 ngày trước và không có pull request nào đang mở. Đang mở
clash-lang/clash-compiler#3210 · 1 người được giao ·
Maintainer thường phản hồi trong vòng 1 ngày
-
enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
clash-lang/clash-compiler#3208 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Combine workflowsĐang mởCI improvement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
clash-lang/clash-shockwaves#105 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
clash-lang/clash-compiler#3191 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
bug
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
clash-lang/checked-literals#11 · 1 bình luận · 1 reaction ·
-
Nix cache isn't trustedĐang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 52/100
clash-lang/clash-compiler#3175 · 4 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Simplify type signatures?Đang mởimprovement Shockwaves library
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100
clash-lang/clash-shockwaves#71 · 5 bình luận ·
-
Static buildĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
clash-lang/ghc-typelits-natnormalise#130 · 1 bình luận · 1 reaction ·
-
breaking documentation feature HOWTO guides Shockwaves library Surfer extension testing
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
-
bug Shockwaves library
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 45/100
clash-lang/clash-shockwaves#43 · 1 bình luận ·
-
Add examplesĐang mởdocumentation improvement
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
-
bug
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
clash-lang/clash-compiler#3153 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Domain-dependent stylingĐang mởfeature Shockwaves library Surfer extension
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
-
Make an issue templateĐang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 45/100
clash-lang/clash-compiler#3149 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
clash-lang/clash-compiler#3143 · 4 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
clash-lang/clash-compiler#3122 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
clash-lang/clash-compiler#3121 · 8 bình luận · 1 reaction ·
Maintainer thường phản hồi trong vòng 1 ngày
-
SNat output always 64-bitsĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
clash-lang/clash-compiler#3120 · 5 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 45/100
clash-lang/clash-protocols#188 ·
-
Clash-dependent Shockwaves library testing
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Change String to TextĐang mởbreaking documentation HOWTO guides improvement Shockwaves library
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
Đang hiển thị 100 mục mới nhất
Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.