joelburget

Thinking about programming languages, formal reasoning, and machine learning.

@google Portland, OR

Pinned Repositories

d4
Data-Driven Declarative Documents
Language:JavaScript818 29 420
evm-rust
Minimal EVM implementation in Rust
Language:Rust29 3 40
haskell-ipld
An implementation of (some of) IPLD
Language:Haskell12 4 11
haskell-loader
A webpack loader for Haskell (!)
Language:JavaScript15 3 01
hubble
javascript lenses
Language:JavaScript15 3 00
lvca
language verification, construction, and analysis
Language:OCaml20 2 230
pigment
Programming Language meets UI
Language:JavaScript51 13 207
react-haskell
React bindings for Haskell
Language:Haskell352 16 1926
react-live-editor
live editing react components
Language:JavaScript163 7 528
slimlock
SLiM + slock = slimlock
Language:C++40 6 1717

joelburget's Repositories

joelburget/lvca
language verification, construction, and analysis
Language:OCaml20 2 230
joelburget/typed-algebraic-parsing
An implementation of "A Typed, Algebraic Approach to Parsing"
Language:OCaml10 3 01
joelburget/mamba-sae
Training and evaluating Sparse Autoencoders for Mamba
Language:Python9 2 31
joelburget/dotfiles
My important config files
Language:Shell6 3 0
joelburget/isl-hs
haskell bindings to the integer set library
Language:Haskell2 4 01
joelburget/isometric
A lightweight JavaScript library, written in TypeScript, to create isometric projections using SVGs
Language:TypeScript2
joelburget/joelburget.com
joelburget.com
Language:JavaScript1 2 23
joelburget/moe-sae
Language:Python1 1 0
joelburget/adlib-adverse
Language:Jupyter Notebook2 0
joelburget/astronvim_config
Language:Lua2 0
joelburget/Auto_HookPoint
Language:Python0 0
joelburget/Broprint.js
The world's easiest, smallest and powerful visitor identifier for browsers.
Language:TypeScript1 0
joelburget/diffusers
🤗 Diffusers: State-of-the-art diffusion models for image and audio generation in PyTorch
Language:Python2 0
joelburget/go-chrome
Chrome extension implementing go links
Language:JavaScript3 0
joelburget/JetMoE
Reaching LLaMA2 Performance with 0.1M Dollars
Language:Python0 0
joelburget/jsoo-example
Language:JavaScript3 0
joelburget/last-call-solver
dnd-solver
Language:Haskell3 1
joelburget/LLM_Categorical_Hierarchical_Representations
Language:Jupyter Notebook
joelburget/MambaLens
Mamba support for transformer lens
joelburget/microjax
A tiny autograd engine with a Jax-like API
Language:Jupyter Notebook1 0
joelburget/ocaml-transformer
A simple transformer in OCaml for learning (following https://github.com/nelhage/transformer-rs)
Language:OCaml3 0
joelburget/odoc2docset
Create Dash docsets from Odoc generated documentation.
Language:OCaml2 0
joelburget/sae_expected_l0
Expected L0 Loss Regularization for Sparse Autoencoders
Language:Jupyter Notebook1 0
joelburget/SAELens
Training Sparse Autoencoders on Language Models
Language:HTML0 0
joelburget/scott
Selected Papers of Dana S. Scott
2 0
joelburget/tensor-diagrams
Tensor diagrams - Penrose graphical notation in D3.js
Language:TypeScript1 0
joelburget/toy-model
Language:Jupyter Notebook2 0
joelburget/transformer-arithmetic
Language:Python3 0
joelburget/transformer-gradient-interp
Language:Jupyter Notebook2 0
joelburget/TransformerLens
Language:Python2 0