Giters
Joel Berkeley (joelberkeley)

joelberkeley

Geek Repo

17

followers

1

following

24

stars

Github PK Tool:Github PK Tool

Joel Berkeley's repositories

spidr

Accelerated machine learning with dependent types

Language:IdrisLicense:Apache-2.0Stargazers:77Issues:3Issues:93

c-ffi

Generic C FFI utilities for Idris

Language:IdrisLicense:Apache-2.0Stargazers:2Issues:0Issues:0

plasma

Plasma physics simulations

Language:IdrisStargazers:1Issues:0Issues:0

allusions

Python implementations of niceties found in other languages.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

cubist

How to make shapes with cubes

License:MITStargazers:0Issues:0Issues:0

discord2se

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

ffi-name-conflict

Language:C++Stargazers:0Issues:0Issues:0

fpinscala-exercises

Answers to Qus in "Functional Programming In Scala"

Language:ScalaLicense:MITStargazers:0Issues:0Issues:0

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:0Issues:0

trieste

A Bayesian optimization toolbox built on TensorFlow

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

idris2-pack

Language:IdrisLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

idris2-pack-db

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

ml-sandbox

Various machine learning projects

Language:Jupyter NotebookStargazers:0Issues:0Issues:0

navier-stokes

A study of Navier-Stokes fluids

License:MITStargazers:0Issues:0Issues:0

presentations

LaTeX Beamer presentations on various topics

Language:TeXLicense:GPL-3.0Stargazers:0Issues:0Issues:0

spydr

A Python port of spidr using JAX

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

tinker

Tidbits, odds, ends, bells and whistles

License:MITStargazers:0Issues:0Issues:0

words

some words, mostly on programming

Stargazers:0Issues:0Issues:0

xla-build

XLA builds

License:Apache-2.0Stargazers:0Issues:0Issues:0