Owner

moriturus

2 indexed repositories · View on GitHub

ktra
Your Little Cargo Registry

Rust · 432 stars
Typenum.swift
Experimental Swift port of Rust's typenum.

Swift · 1 star

Beginner friendly Everything

Open All

P2 Add real-world examples inspired by Rust typenum use cases Open

kind:docs priority:p2

moriturus/Typenum.swift#17 · 1 reaction · 2 assignees · Opened Mar 28, 2026
P2 Improve macro diagnostics for invalid literals and metatype arguments Open

kind:feature priority:p2

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

moriturus/Typenum.swift#16 · Opened Mar 28, 2026
P1 Align README and architecture docs with current limitations and roadmap Open

kind:docs priority:p1

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

moriturus/Typenum.swift#13 · Opened Mar 28, 2026
P1 Deprecate or redesign assertMetatypeEqual Open

kind:techdebt priority:p1

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

moriturus/Typenum.swift#12 · Opened Mar 28, 2026
P1 Add static-or-safer constraints for array division and remainder Open

kind:feature priority:p1

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

moriturus/Typenum.swift#11 · Opened Mar 28, 2026
P1 Reduce duplicated integer construction logic between macros and codegen Open

kind:techdebt priority:p1

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

moriturus/Typenum.swift#10 · Opened Mar 28, 2026
P1 Implement generated proof scaffolding in TypenumCodegen Open

kind:feature priority:p1

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

moriturus/Typenum.swift#9 · Opened Mar 28, 2026
P0 Raise library source coverage to 100% Open

kind:test priority:p0

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

moriturus/Typenum.swift#8 · Opened Mar 28, 2026
P0 Replace trap-based arithmetic preconditions with proof-oriented APIs Open

kind:feature priority:p0

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

moriturus/Typenum.swift#7 · Opened Mar 28, 2026
P0 Canonical type normalization roadmap for core operators Open

kind:techdebt priority:p0

moriturus/Typenum.swift#6 · 1 reaction · 2 assignees · Opened Mar 28, 2026
Epic: Improve documentation and developer experience Open

kind:epic

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

moriturus/Typenum.swift#5 · Opened Mar 28, 2026
Epic: Strengthen testing and quality gates Open

kind:epic

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

moriturus/Typenum.swift#4 · Opened Mar 28, 2026
Epic: Advance proof, codegen, and macro maturity Open

kind:epic

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

moriturus/Typenum.swift#3 · Opened Mar 28, 2026
Epic: Make failure paths safer Open

kind:epic

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

moriturus/Typenum.swift#2 · Opened Mar 28, 2026
Epic: Strengthen type-level normalization Open

kind:epic

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

moriturus/Typenum.swift#1 · Opened Mar 28, 2026
cargo build fails Open

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

moriturus/ktra#66 · 1 comment · Opened Nov 22, 2023
feat: verdaccio equivalent Open

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

moriturus/ktra#63 · Opened Sep 22, 2023
ktra 0.7.0 - Failed to build with "--no-default-features --features=secure-auth,db-mongo" and "--no-default-features --features=secure-auth,db-redis" Open

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

moriturus/ktra#60 · Opened Feb 1, 2023
Ktra openid doesn't install via cargo Open

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

moriturus/ktra#58 · 2 comments · Opened Jan 27, 2023
Store crates on S3 Open

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

moriturus/ktra#55 · Opened Sep 20, 2022
Ktra panics when using Mongo db backend Open

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

moriturus/ktra#54 · 3 comments · Opened Sep 6, 2022
[Maintenance] Publish 0.7.0 Open

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

moriturus/ktra#52 · 4 comments · 1 reaction · Opened Sep 2, 2022
Add https for the server Open

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

moriturus/ktra#46 · 4 comments · 1 reaction · Opened Mar 30, 2022
Add auth feature to manage download crates Open

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

moriturus/ktra#45 · 4 comments · Opened Mar 30, 2022
Self contained docker stack Open

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

moriturus/ktra#44 · Opened Mar 29, 2022
Change error message for unauthorized push to show name or login Open

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

moriturus/ktra#43 · Opened Mar 28, 2022
Downloading ktra's crates.io mirror may fail when tried from some Cargo versions Open

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

moriturus/ktra#37 · Opened Mar 4, 2022
git error: corrupted loose reference file: FETCH_HEAD when trying to mirror crates.io Open

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

moriturus/ktra#32 · Opened Dec 25, 2021
Error 404 when trying to publish without a token (should be 400) Open

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

moriturus/ktra#31 · 2 comments · Opened Dec 25, 2021
Announcement: About the development of Ktra in future Open

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

moriturus/ktra#28 · 4 comments · 2 reactions · Opened Oct 28, 2021
Dependency listed incorrectly if it has aliased Open

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

moriturus/ktra#27 · Opened Oct 14, 2021
Add verbosity option to `ktra` command? Open

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

moriturus/ktra#24 · Opened Oct 3, 2021
Delete versions / crates Open

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

moriturus/ktra#23 · 2 reactions · Opened Sep 14, 2021
Can ktra be used as a transparent caching proxy for crates.io? Open

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

moriturus/ktra#22 · 1 comment · Opened Jul 14, 2021
How to use SSH for Ktra config file Open

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

moriturus/ktra#18 · 2 comments · 1 reaction · Opened Mar 11, 2021
Recovering lost "accounts" Open

documentation enhancement good first issue

moriturus/ktra#17 · 1 comment · 1 assignee · Opened Mar 1, 2021

moriturus

Get new issues in your inbox