Repository

Repository di joelburget

200 repository supportati

Mostra repository con issue indicizzate
joelburget/symmetric-propertiesHaskell

`Same` / `Unique` monoidal witnesses

Ultimo commit 15 gen 2019

 (1 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/system-lfAgda

linear logic and system f have a baby

Ultimo commit 21 lug 2017

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/taplHaskell

Types and Programming Languages, in Haskell

Ultimo commit 30 gen 2015

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/tensor-diagramsTypeScript

Tensor diagrams - Penrose graphical notation in D3.js

Ultimo commit 14 dic 2023

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/terraform-nixosHCL

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

Ultimo commit 28 mar 2025

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/tinker-cookbookPython

Post-training with Tinker

Ultimo commit 30 giu 2026

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/toy-modelJupyter Notebook

Ultimo commit 17 dic 2022

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/transformer-arithmeticPython

Ultimo commit 28 ott 2022

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/transformer-gradient-interpJupyter Notebook

Ultimo commit 25 apr 2023

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/trust-tokensPython

Ultimo commit 9 mar 2025

 (2 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/ts2ocamlF#

Generate OCaml bindings from TypeScript definitions via the TypeScript compiler API

Ultimo commit 24 nov 2021

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/tuple-morphHaskell

Morph between tuples with the same "flattened" representation.

Ultimo commit 1 feb 2019

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/turbo-unifyHaskell

a unification visualization in the browser

Ultimo commit 9 nov 2013

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/typed-algebraic-parsingOCaml

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

Ultimo commit 21 mar 2022

 (11 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/tyxmlOCaml

Build valid HTML and SVG documents

Ultimo commit 4 dic 2020

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/url-unshortJavaScript

Short links expander for node.js

Ultimo commit 22 gen 2025

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/userscriptsJavaScript

Dumping ground for Chrome User Scripts that I find useful

Ultimo commit 26 dic 2012

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/vim2hsVim Script

vim2hs :: Vim -> Haskell

Ultimo commit 4 dic 2013

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/websiteJavaScript

The old joelburget.com

Ultimo commit 14 giu 2016

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/whoamiTypeScript

your personal encyclopedia, written by agents

Ultimo commit 28 mar 2026

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)