joelberkeley

joelberkeley's Stars

• wenkokke/idris-sesh

  Session types in Idris2!

  Language:Idris261

• idris-community/katla

  Language:Idris197

• google-deepmind/chex

  Language:Python75945

• ClimateMind/climatemind-backend

  Your climate action is here 🌎 Our API is a source for learning how climate change personally affects you and the things you care about most. Additionally, it will teach a scientifically proven method for communicating to others that climate change is a personally relevant issue to inspire action.

  Language:Python1819

• EnzymeAD/Enzyme-JAX

  Language:C++436

• gomlx/gomlx

  GoMLX: An Accelerated Machine Learning Framework For Go

  Language:Go25911

• stefan-hoeck/idris2-gnuplot

  Inspired by the Haskell library.

  Language:Idris31

• granule-project/granule

  A statically-typed linear functional language with graded modal types for fine-grained program reasoning

  Language:Haskell58833

• stanford-crfm/haliax

  Named Tensors for Legible Deep Learning in JAX

  Language:Python14611

• kiana-S/numidr

  Mirror of https://git.tokinanpa.dev/toki/numidr

  Language:Idris5

• dfm/tinygp

  The tiniest of Gaussian Process libraries

  Language:Python28223

• google/edward2

  A simple probabilistic programming language.

  Language:Jupyter Notebook67374

• min-nguyen/prob-fx

  A language for modular probabilistic modelling in Haskell based on effect handlers

  Language:Haskell161

• tweag/monad-bayes

  A library for probabilistic programming in Haskell.

  Language:Jupyter Notebook40762

• steshaw/plt

  Programming Language Theory λΠ

  Language:CSS5.2k336

• matze/mtheme

  A modern LaTeX Beamer theme

  Language:TeX6.4k841

• EmergentOrder/onnx-scala

  An ONNX (Open Neural Network eXchange) API and backend for typeful, functional deep learning and classical machine learning in Scala 3

  Language:JavaScript1378

• ocramz/sparse-linear-algebra

  Numerical computation in native Haskell

  Language:Haskell8810

• HuwCampbell/grenade

  Deep Learning in Haskell

  Language:Haskell1.4k83

• AccelerateHS/accelerate

  Embedded language for high-performance array computations

  Language:Haskell893117

• austinvhuang/awesome-haskell-deep-learning

  In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.

  29016

• fieldstrength/probability

  Probabilistic computation in Idris

  Language:Idris334

• google-research/dex-lang

  Research language for array processing in the Haskell/ML family

  Language:Haskell1.6k107

• CQCL/lambeq

  A high-level Python library for Quantum Natural Language Processing

  Language:Python451108