joelberkeley
1 follower · 1 following
  • Joined on 2025-04-26
Repositories
6
 Projects Packages Starred repositories
2
Filter
Sort
spidr
Idris 4 1
Accelerated machine learning with dependent types
dependent-types gpu hardware-acceleration linear-algebra machine-learning probabilistic-modelling
Updated 2026-05-30 06:45:49 +02:00
navier-stokes
0 0
A study of Navier-Stokes fluids
latex navier-stokes
Updated 2026-05-28 23:23:21 +02:00
uuid
Idris 0 0
UUIDs for Idris2
idris idris2 uuid uuids
Updated 2026-05-18 22:17:45 +02:00
talks
TeX 0 0
Updated 2026-02-07 16:35:45 +01:00
c-ffi
Idris 0 0
Generic C FFI utilities for Idris
Updated 2025-07-01 01:40:23 +02:00
spydr
Python 0 0
A Python port of spidr using JAX
Updated 2025-07-01 01:30:50 +02:00