Projects in Awesome Lists by joelburget
A curated list of projects in awesome lists by joelburget .
https://github.com/joelburget/react-live-editor
live editing react components
Last synced: 11 May 2025
https://github.com/joelburget/lvca
language verification, construction, and analysis
denotational-semantics language language-workbench parsing pretty-printing programming-language typechecking
Last synced: 03 Dec 2024
https://github.com/joelburget/haskell-loader
A webpack loader for Haskell (!)
Last synced: 03 Dec 2024
https://github.com/joelburget/haskell-ipld
An implementation of (some of) IPLD
haskell ipfs ipld multiformats
Last synced: 03 Dec 2024
https://github.com/joelburget/ghcjs-box
Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development
Last synced: 03 Dec 2024
https://github.com/joelburget/typed-algebraic-parsing
An implementation of "A Typed, Algebraic Approach to Parsing"
Last synced: 03 Dec 2024
https://github.com/joelburget/mamba-sae
Training and evaluating Sparse Autoencoders for Mamba
Last synced: 03 Dec 2024
https://github.com/joelburget/daily-typecheckers
I'm writing a typechecker every day
Last synced: 03 Dec 2024
https://github.com/joelburget/simplicity-hs
Implementation of "Simplicity: A New Language for Blockchains"
Last synced: 03 Dec 2024
https://github.com/joelburget/plur
Plurality Monad: Zero, one, or at least two.
Last synced: 03 Dec 2024
https://github.com/joelburget/data-lens-template
Template Haskell utilities for Data.Lens
Last synced: 03 Dec 2024
https://github.com/joelburget/lvca-hs
language verification, construction, and automation
language parsing pretty-printing programming-language symbolic-execution
Last synced: 25 Mar 2025
https://github.com/joelburget/monaco-ocaml
Ocaml bindings to Microsoft's Monaco editor
Last synced: 03 Dec 2024
https://github.com/joelburget/sdl2-image
Haskell bindings to sdl_image for SDL 2
Last synced: 25 Mar 2025
https://github.com/joelburget/haste-commonjs
Write CommonJS (Browserify, Webpack) modules in Haste
Last synced: 01 May 2025
https://github.com/joelburget/isl-hs
haskell bindings to the integer set library
Last synced: 11 Jun 2025
https://github.com/joelburget/berkeley-quorum
Demos / Materials for my Blockchain at Berkeley Developer Course lecture
blockchain education quorum smart-contracts solidity
Last synced: 03 Dec 2024
https://github.com/joelburget/constructive-reals
Real numbers with decidable equality
Last synced: 14 Apr 2025
https://github.com/joelburget/tapl
Types and Programming Languages, in Haskell
Last synced: 25 Mar 2025
https://github.com/joelburget/turbo-unify
a unification visualization in the browser
Last synced: 25 Mar 2025
https://github.com/joelburget/planetary
playing with programming languages again
functional-programming ipfs ipld language merkle programming-language
Last synced: 25 Mar 2025
https://github.com/joelburget/perseus-one-server
An experimental server implementing the Perseus One API
Last synced: 25 Mar 2025
https://github.com/joelburget/blog.next
Possibly the technology that will get me blogging again
Last synced: 25 Mar 2025
https://github.com/joelburget/symmetric-properties
`Same` / `Unique` monoidal witnesses
Last synced: 25 Mar 2025
https://github.com/joelburget/diagrams-opengl
An OpenGL Backend for Diagrams
Last synced: 25 Mar 2025
https://github.com/joelburget/microjax
A tiny autograd engine with a Jax-like API
Last synced: 25 Mar 2025
https://github.com/joelburget/snakestache
Do you hate yourself? Render handlebars templates in Python.
Last synced: 25 Mar 2025
https://github.com/joelburget/redux-state-router
Routes and state are inseparable
Last synced: 25 Mar 2025
https://github.com/joelburget/ocaml-transformer
A simple transformer in OCaml for learning (following https://github.com/nelhage/transformer-rs)
Last synced: 25 Mar 2025
https://github.com/joelburget/codemirror-ocaml
CodeMirror 6 bindings for OCaml
Last synced: 25 Mar 2025
https://github.com/joelburget/sae_expected_l0
Expected L0 Loss Regularization for Sparse Autoencoders
Last synced: 25 Mar 2025
https://github.com/joelburget/brr-web-tree-sitter
Ocaml (Brr) bindings to web-tree-sitter
Last synced: 25 Mar 2025
https://github.com/joelburget/go-chrome
Chrome extension implementing go links
Last synced: 25 Mar 2025