joelberkeley - Codeberg.org

Accelerated machine learning with dependent types

dependent-types gpu hardware-acceleration linear-algebra machine-learning probabilistic-modelling

Updated 2026年01月13日 03:41:05 +01:00

Updated 2025年10月26日 21:58:11 +01:00

Generic C FFI utilities for Idris

Updated 2025年07月01日 01:40:23 +02:00

A Python port of spidr using JAX

Updated 2025年07月01日 01:30:50 +02:00

A study of Navier-Stokes fluids

latex navier-stokes

Updated 2025年07月01日 01:13:49 +02:00