joelburget/gadts

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Haskell
License
BSD 3-Clause "New...
Created over 5 years ago
Updated over 5 years ago

joelburget/gadts

joelburget

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

The contents of a talk on GADTs

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

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