isovector Goto Github PK

climine

A CLI front-end to UW's jobmine

compdata

Haskell library implementing "Data Types a la Carte"

compdata-dags

Compositional Data Types on DAGs

compiling-to-categories-redux

we're TRYING AGAIN with @maybevoid

composition

compositions

music i'm writing

conceptual-mathematics

reading group

constraints-emerge

📤 defer instance resolution until runtime

containers-good-graph

It's Data.Graph, but it doesn't suck!

cornelis

agda-mode for neovim

cs343-a6

fml

cs349-a1

A helicopter-like side scroller with procedural difficulty generation.

cs349-a3

A sketch-based animation program written in Java.

cs349-a5

A cs349-a3 animation player for android.

danglos

A basic operating system for the LPC1788

dashy

🚀 A self-hostable personal dashboard built for you. Includes status-checking, widgets, themes, icon packs, a UI editor and tons more!

data-quadtree

algebraic quadtree

denotational-arithmetic-zurihac

design-tools

tools for design and interpretation of haskell programs

desklights

a little program to control the color of my desk

df-guitar-tabs

Guitar tabs for "song_game" and "dwarf_title" from Dwarf Fortress by Toady One

diff-loc

do-notation

deprecated in favor of -XQualifiedDo

doctest

An implementation of Python's doctest for Haskell

downworthy

Source code for the Downworthy plugin

draconian

figuring out just how draconian the covid laws were

draconian-results

dynahaskell

the dynabook but for haskell

ece358

ece 358

ecstasy

:pill: a GHC.Generics-based entity component system