Pinned Repositories
Competitive-Programming
Consistent-Website
CTfP-2021
Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
ddpm-jax
fastax
flax
keras_workshop
optax
Optax is a gradient processing and optimization library for JAX.
Recreational
RL-JAX
joaogui1's Repositories
joaogui1/Consistent-Website
joaogui1/flax
joaogui1/Aoc22
joaogui1/dex-lang
Research language for array processing in the Haskell/ML family
joaogui1/optax
Optax is a gradient processing and optimization library for JAX.
joaogui1/roguelike-python
joaogui1/Recreational
joaogui1/agda
joaogui1/axon
Nx-powered Neural Networks
joaogui1/Cats-for-AI
joaogui1/cleanrl
High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)
joaogui1/CMSC-430
joaogui1/code-report-top10
A selection of 10 problems solved in different programming languages
joaogui1/codewars
joaogui1/Consistent-Data-Analysis
joaogui1/dexqn
joaogui1/halt-and-catch-fire-syllabus
joaogui1/joaogui1
joaogui1/joaogui1.github.io
my blog
joaogui1/keiapl
joaogui1/LALG-Compiler
joaogui1/lean4
Lean 4 programming language and theorem prover
joaogui1/llvm-tutorial
joaogui1/logseq-plugin-gpt3
A plugin for GPT-3 AI assisted note taking in Logseq
joaogui1/NNG4
joaogui1/nx
Multi-dimensional arrays (tensors) and numerical definitions for Elixir
joaogui1/quarto-web
Quarto website
joaogui1/sbx
SBX: Stable Baselines Jax (SB3 + Jax)
joaogui1/val
The val compiler
joaogui1/viz_veil