Discover @joelburget Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Assembly

Groovy

Crystal

OCaml

C

Rust

Scala

Ruby

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

R

Python

Clojure

MATLAB

Nix

Perl

PHP

Rust

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇨🇴 Colombia

🇦🇴 Angola

🇳🇪 Niger

🇵🇪 Peru

🇨🇿 Czechia

🇸🇩 Sudan

🇷🇪 Réunion

🇲🇭 Marshall Islands

All Countries Compare Countries

Joel Burget (@joelburget)

joelburget

Stars
1,677
Global Rank 18,452 (Top 0.7 %)
Followers 350
Following 93
Registered over 14 years ago
Most used languages

Haskell
56.9 %

JavaScript
20.7 %

Python
6.9 %

OCaml
5.2 %

C++
3.4 %

Shell
1.7 %

Java
1.7 %

Rust
1.7 %

Vim Script
1.7 %
Location 🇺🇸 United States
Country Total Rank 5,705
Country Ranking

Haskell
67

OCaml
162

Vim Script
1,379

JavaScript
1,628

Rust
2,161

C++
3,950

Shell
7,858

d4

Data-Driven Declarative Documents

react-haskell

React bindings for Haskell

react-live-editor

live editing react components

pigment

Programming Language meets UI

slimlock

SLiM + slock = slimlock

evm-rust

Minimal EVM implementation in Rust

lvca

language verification, construction, and analysis

hubble

javascript lenses

haskell-loader

A webpack loader for Haskell (!)

haskell-ipld

An implementation of (some of) IPLD

material-ui-hs

Material UI in Haskell!

easytest

Simple testing toolkit

assimp

Haskell FFI bindings for Assimp

ghcjs-box

Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development

typed-algebraic-parsing

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

daily-typecheckers

I'm writing a typechecker every day

mamba-sae

Training and evaluating Sparse Autoencoders for Mamba

simplicity-hs

Implementation of "Simplicity: A New Language for Blockchains"

dotfiles

My important config files

Cologne

Good Smelling Ray Tracer

jison-loader

jison loader module for webpack

structured-editing

plur

Plurality Monad: Zero, one, or at least two.

monaco-ocaml

Ocaml bindings to Microsoft's Monaco editor

lvca-hs

language verification, construction, and automation

data-lens-template

Template Haskell utilities for Data.Lens

mylens

sdl2-image

Haskell bindings to sdl_image for SDL 2

gadts

The contents of a talk on GADTs

corewarjs

Corewar in Javascript

sdl2-ttf

Haskell bindings for SDL(2)-ttf

secret

isl-hs

haskell bindings to the integer set library

backprop-fun

fun with backprop

journal

My public technical journal

berkeley-quorum

Demos / Materials for my Blockchain at Berkeley Developer Course lecture

sdl2-gfx

Haskell bindings to SDL2_gfx

turbo-unify

a unification visualization in the browser

a-la-carte

blog.next

Possibly the technology that will get me blogging again

huttons-raz3r

graphreduction

tapl

Types and Programming Languages, in Haskell

sat

hazel

formative

website

The old joelburget.com

diagrams-opengl

An OpenGL Backend for Diagrams

joelburget.com

language-python

glowing-ironman

benchmarks

OSU RSRG benchmarks website

focusing

oplog

motivated-list-checking

perseus-one-server

An experimental server implementing the Perseus One API

symmetric-properties

`Same` / `Unique` monoidal witnesses

planetary

playing with programming languages again

miftiwac

CSE 731 MIFTIWAC group project