joelburget
Thinking about programming languages, formal reasoning, and machine learning.
@google Portland, OR
Pinned Repositories
d4
Data-Driven Declarative Documents
evm-rust
Minimal EVM implementation in Rust
haskell-ipld
An implementation of (some of) IPLD
haskell-loader
A webpack loader for Haskell (!)
hubble
javascript lenses
lvca
language verification, construction, and analysis
pigment
Programming Language meets UI
react-haskell
React bindings for Haskell
react-live-editor
live editing react components
slimlock
SLiM + slock = slimlock
joelburget's Repositories
joelburget/lvca
language verification, construction, and analysis
joelburget/easytest
Simple testing toolkit
joelburget/typed-algebraic-parsing
An implementation of "A Typed, Algebraic Approach to Parsing"
joelburget/dotfiles
My important config files
joelburget/mamba-sae
Training and evaluating Sparse Autoencoders for Mamba
joelburget/monaco-ocaml
Ocaml bindings to Microsoft's Monaco editor
joelburget/joelburget.com
joelburget.com
joelburget/sat
joelburget/adlib-adverse
joelburget/astronvim_config
joelburget/Broprint.js
The world's easiest, smallest and powerful visitor identifier for browsers.
joelburget/brr-web-tree-sitter
Ocaml (Brr) bindings to web-tree-sitter
joelburget/diffusers
🤗 Diffusers: State-of-the-art diffusion models for image and audio generation in PyTorch
joelburget/gen_js_api
Easy OCaml bindings for Javascript libraries
joelburget/go-chrome
Chrome extension implementing go links
joelburget/JetMoE
Reaching LLaMA2 Performance with 0.1M Dollars
joelburget/jsoo-example
joelburget/last-call-solver
dnd-solver
joelburget/lezer-sandbox
joelburget/lezer-tree-visualizer
A basic tool for debugging lezer syntax trees in the console
joelburget/ocaml-transformer
A simple transformer in OCaml for learning (following https://github.com/nelhage/transformer-rs)
joelburget/odoc2docset
Create Dash docsets from Odoc generated documentation.
joelburget/SAELens
Training Sparse Autoencoders on Language Models
joelburget/scott
Selected Papers of Dana S. Scott
joelburget/tensor-diagrams
Tensor diagrams - Penrose graphical notation in D3.js
joelburget/toy-model
joelburget/transformer-arithmetic
joelburget/transformer-gradient-interp
joelburget/TransformerLens
joelburget/ts2ocaml
Generate OCaml bindings from TypeScript definitions via the TypeScript compiler API