ralsei

graphite

A data visualization library for Racket.

sawzall

A grammar of data manipulation for Racket.

six-eyes

A work-in-progress structure editor for the cooltt proof assistant.

types.pl

The glitch-soc/Mastodon fork running on types.pl

bingus

A program synthesizer for code in the How to Design Programs curriculum

loess

Local polynomial regressions for Racket.

talks

slides

pg

simple pager

jsonesharp

A browser-based implementation of the 1# text register machine

argos

Create GNOME Shell extensions in seconds

clipboardy

Access the system clipboard (copy/paste)

cooltt

😎TT

cubical-1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

data-frame

A data frame implementation for Racket

emacs-doom-themes

An opinionated pack of modern color-themes

etc

dotfiles

gruvbox-css

My minimal Gruvbox CSS file I've been keeping multiple places

nixpkgs

Nix Packages collection

plot

polymorphic-splitting-port

A Racket port of Suresh Jagannathan's and Andrew Wright's Polymorphic Splitting implementation.

public-student-support-code

Public helper code for p423/p523 students (Racket)

qmk_firmware

my QMK configuration for my Iris v4. I am not a keyboard person, do not ask me about this repo, thanks

ralsei

self-lace

digital electronics final project '19

soft-contract

A prototype of soft contract verification for an untyped functional language

soupbot

hi, bonewit. how are you doing

system-f-redex

Church-style System F with definitions in Redex.

the-duck-billed-revenge

video game's

void-packages

The Void source packages collection

xpad

Linux Kernel Driver for the Xbox/ Xbox 360/ Xbox One Controllers