joelburget

Joel Burget's starred repositories

ControlNet

Let us control diffusion models!

Language:PythonApache-2.028350 213 519

pytudes

Python programs, usually short, of considerable difficulty, to perfect particular skills.

Language:Jupyter NotebookMIT22457 775 35

lexical

Lexical is an extensible text editor framework that provides excellent reliability, accessibility and performance.

Language:TypeScriptMIT17597 108 1949

awesome-tunneling

List of ngrok/Cloudflare Tunnel alternatives and other tunneling software and services. Focus on self-hosting.

13784 180 80

guidance

A guidance language for controlling large language models.

Language:Jupyter NotebookMIT12161 104 207

imagen-pytorch

Implementation of Imagen, Google's Text-to-Image Neural Network, in Pytorch

Language:PythonMIT7834 113 299

awesome-reMarkable

A curated list of projects related to the reMarkable tablet

CC0-1.05906 251 37

UsTaxes

Tax filing web application

Language:TypeScriptAGPL-3.01388 18 144

deep_learning_curriculum

Language model alignment-focused deep learning curriculum

1108 15 1

binocle

a graphical tool to visualize binary data

Language:RustApache-2.01032 8 49

swarm

Resource gathering + programming game

Language:HaskellNOASSERTION793 15 658

toltec

Community-maintained repository of free software for the reMarkable tablet.

Language:ShellMIT675 18 224

principia

The Principia Rewrite

Language:TeXGPL-3.0199 140

3d_nn

Raymarching neural network in browsers with WebGL shaders

Language:JavaScript189 8 3

spectacle

Embedded specification language & model checker in Haskell

Language:HaskellApache-2.0176 22 18

jupyter_ascending.vim

Vim plugin to interact with jupyter_ascending

Language:Vim ScriptMIT150 8 13

CircuitsVis

Mechanistic Interpretability Visualizations using React

Language:Jupyter NotebookMIT138 3 25

scott

Selected Papers of Dana S. Scott

136 9 1

TypOS

being an operating system for typechecking processes

Language:Haskell117 17 5

deque

Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)

Language:OCamlMIT104 3 1

metapp

Meta-preprocessor for OCaml

Language:OCamlBSD-3-Clause7500

abstract-binding-trees

Abstract binding trees (abstract syntax trees plus binders), as a library in Agda

Language:Agda68 5 3

unicorn

Purely functional GUI algebra

Language:OCamlMIT64 30

FormalML

Formalization of Machine Learning Theory with Applications to Program Synthesis

Language:CoqApache-2.062 12 1

pprint

A pretty-printing combinator library for OCaml

Language:OCamlNOASSERTION45 2 5

inline-test-ppx

Write inline tests in ReScript, a ppx extension

Language:OCamlMIT32 3 3

transformer-rs

A sketch of a Transformer in Rust for a blog post

Language:RustCC0-1.027 20

CRI

Project Repository. Replication code.

Language:HTMLCC0-1.022 5 1

ocaml-charset

Fast char sets

Language:OCamlMIT20 30

jsoo-code-mirror

Jsoo bindings using brr for code-mirror 6

Language:OCaml4 3 1