Repositories

joelburget repositories

200 supported repositories

Show repositories with indexed issues
joelburget/symmetric-propertiesHaskell

`Same` / `Unique` monoidal witnesses

Last commit Jan 15, 2019

 (1 star) (1 fork) (0 indexed issues) (0 open good first issues)
joelburget/system-lfAgda

linear logic and system f have a baby

Last commit Jul 21, 2017

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/taplHaskell

Types and Programming Languages, in Haskell

Last commit Jan 30, 2015

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/tensor-diagramsTypeScript

Tensor diagrams - Penrose graphical notation in D3.js

Last commit Dec 14, 2023

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/terraform-nixosHCL

A set of Terraform modules that are designed to deploy NixOS [maintainer=@adrian-gierakowski]

Last commit Mar 28, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/tinker-cookbookPython

Post-training with Tinker

Last commit Jun 30, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/toy-modelJupyter Notebook

Last commit Dec 17, 2022

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/transformer-arithmeticPython

Last commit Oct 28, 2022

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/transformer-gradient-interpJupyter Notebook

Last commit Apr 25, 2023

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/trust-tokensPython

Last commit Mar 9, 2025

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/ts2ocamlF#

Generate OCaml bindings from TypeScript definitions via the TypeScript compiler API

Last commit Nov 24, 2021

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/tuple-morphHaskell

Morph between tuples with the same "flattened" representation.

Last commit Feb 1, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/turbo-unifyHaskell

a unification visualization in the browser

Last commit Nov 9, 2013

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/typed-algebraic-parsingOCaml

An implementation of "A Typed, Algebraic Approach to Parsing"

Last commit Mar 21, 2022

 (11 stars) (1 fork) (0 indexed issues) (0 open good first issues)
joelburget/tyxmlOCaml

Build valid HTML and SVG documents

Last commit Dec 4, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/url-unshortJavaScript

Short links expander for node.js

Last commit Jan 22, 2025

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/userscriptsJavaScript

Dumping ground for Chrome User Scripts that I find useful

Last commit Dec 26, 2012

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/vim2hsVim Script

vim2hs :: Vim -> Haskell

Last commit Dec 4, 2013

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/websiteJavaScript

The old joelburget.com

Last commit Jun 14, 2016

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/whoamiTypeScript

your personal encyclopedia, written by agents

Last commit Mar 28, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)