Pinned Loading

1. rkt-polars rkt-polars Public

   Racket bindings to polars

   Racket 9

2. rktorch rktorch Public

   Deep Learning for Racket

   Racket 3

3. xgboost xgboost Public

   Racket bindings to xgboost

   Racket

4. glmnet glmnet Public

   Racket FFI bindings to the glmnet

   Racket 1

5. scs scs Public

   Racket bindings for the Stanford Splitting Cone Solver

   Racket

6. agdablueprint agdablueprint Public

   Blueprint-style coordination tooling for Agda formalization projects (the Agda counterpart of leanblueprint)

   Python