bend-packages good first issues

[formal] Discrete divergence theorem on cubical complexes 21 days ago

enhancement help wanted

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[formal] Tensor calculus: index notation, Einstein summation, covariance 21 days ago

enhancement help wanted

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[formal] Real analysis: limits, continuity, differentiation, integration 21 days ago

enhancement help wanted

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[formal] Proof automation: rewriting strategies 21 days ago

enhancement help wanted

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[formal] ODE/PDE solvers 21 days ago

enhancement help wanted

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[formal] Open-conjecture convention + per-law CI reporting 21 days ago

enhancement good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[formal] Verified integers and rationals 21 days ago

enhancement help wanted

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[formal] Linear algebra: vector spaces, matrices, eigenstructure 21 days ago

enhancement help wanted

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[formal] Physical dimensions and units 21 days ago

enhancement good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[formal] Vector calculus identities over exact types 21 days ago

enhancement help wanted good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[formal] d² = 0 over discrete forms 21 days ago

enhancement good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[correctness] A mathlib for Bend: verified math fundamentals 21 days ago

enhancement help wanted

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[meta] Source-hunt: `bend-blas-lapack` 21 days ago

help wanted question

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[meta] Source-hunt: `bend-ml` + tinygrad-laws 21 days ago

help wanted question

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[meta] Source-hunt: `ezx` 21 days ago

help wanted question

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[meta] Source-hunt: `bolt` 21 days ago

help wanted question

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[meta] Source-hunt: `bend-tensors` 21 days ago

help wanted question

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[ops] Metrics (Prometheus exposition) 21 days ago

enhancement good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[text] i18n / l10n 21 days ago

enhancement good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[apps] Progress bars / spinners 21 days ago

enhancement good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[apps] TUI library 21 days ago

enhancement help wanted

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[web] SMTP client 21 days ago

enhancement good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[web] GraphQL server 21 days ago

enhancement help wanted

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[web] HTML templating 21 days ago

enhancement good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[data] JSON Schema validation 21 days ago

enhancement good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[data] Parquet / Arrow 21 days ago

enhancement help wanted

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[data] MessagePack 21 days ago

enhancement good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[data] YAML parser + emitter 21 days ago

enhancement help wanted

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[numerics] Charting / SVG plotting 21 days ago

enhancement good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[numerics] Statistics & distributions 21 days ago

enhancement good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[numerics] Optimizer zoo (SGD, Adam, RMSprop, AdamW) 21 days ago

enhancement good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[numerics] Autodiff as a standalone package 21 days ago

enhancement help wanted

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[correctness] Debugger 21 days ago

enhancement help wanted

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[correctness] Publish `lawcheck` as a package 21 days ago

enhancement good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[correctness] Test runner + assertion library 21 days ago

enhancement good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[build] Document the publish flow 21 days ago

documentation good first issue

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[build] Zed extension + tree-sitter grammar 21 days ago

enhancement help wanted

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[build] Bend parser as a reusable library 21 days ago

enhancement help wanted

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

[build] `bend-new`: project scaffolding 21 days ago

enhancement help wanted

lilalittle/bend-packages

2

A curated, regularly refreshed overview of the Bend 2 package ecosystem on BendHub: top packages, source repositories, and publishers.

lilalittle/bend-packages

Open Issues Need Help