Pinned Repositories
allusions
Python implementations of niceties found in other languages.
c-ffi
Generic C FFI utilities for Idris
cubist
How to make shapes with cubes
discord2se
ffi-name-conflict
fpinscala-exercises
Answers to Qus in "Functional Programming In Scala"
Idris2
A purely functional programming language with first class types
plasma
Plasma physics simulations
spidr
Accelerated machine learning with dependent types
trieste
A Bayesian optimization toolbox built on TensorFlow
joelberkeley's Repositories
joelberkeley/spidr
Accelerated machine learning with dependent types
joelberkeley/c-ffi
Generic C FFI utilities for Idris
joelberkeley/plasma
Plasma physics simulations
joelberkeley/allusions
Python implementations of niceties found in other languages.
joelberkeley/cubist
How to make shapes with cubes
joelberkeley/discord2se
joelberkeley/ffi-name-conflict
joelberkeley/fpinscala-exercises
Answers to Qus in "Functional Programming In Scala"
joelberkeley/Idris2
A purely functional programming language with first class types
joelberkeley/trieste
A Bayesian optimization toolbox built on TensorFlow
joelberkeley/idris2-pack
joelberkeley/idris2-pack-db
joelberkeley/ml-sandbox
Various machine learning projects
joelberkeley/navier-stokes
A study of Navier-Stokes fluids
joelberkeley/presentations
LaTeX Beamer presentations on various topics
joelberkeley/spydr
A Python port of spidr using JAX
joelberkeley/tinker
Tidbits, odds, ends, bells and whistles
joelberkeley/words
some words, mostly on programming
joelberkeley/xla-build
XLA builds