Pinned Repositories
bingus
A program synthesizer for code in the How to Design Programs curriculum
graphite
A data visualization library for Racket.
jsonesharp
A browser-based implementation of the 1# text register machine
loess
Local polynomial regressions for Racket.
pg
simple pager
sawzall
A grammar of data manipulation for Racket.
six-eyes
A work-in-progress structure editor for the cooltt proof assistant.
talks
slides
types.pl
The glitch-soc/Mastodon fork running on types.pl
cooltt
😎TT
ralsei's Repositories
ralsei/graphite
A data visualization library for Racket.
ralsei/sawzall
A grammar of data manipulation for Racket.
ralsei/types.pl
The glitch-soc/Mastodon fork running on types.pl
ralsei/six-eyes
A work-in-progress structure editor for the cooltt proof assistant.
ralsei/bingus
A program synthesizer for code in the How to Design Programs curriculum
ralsei/loess
Local polynomial regressions for Racket.
ralsei/talks
slides
ralsei/pg
simple pager
ralsei/jsonesharp
A browser-based implementation of the 1# text register machine
ralsei/argos
Create GNOME Shell extensions in seconds
ralsei/clipboardy
Access the system clipboard (copy/paste)
ralsei/cooltt
😎TT
ralsei/cubical-1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
ralsei/data-frame
A data frame implementation for Racket
ralsei/emacs-doom-themes
An opinionated pack of modern color-themes
ralsei/etc
dotfiles
ralsei/gruvbox-css
My minimal Gruvbox CSS file I've been keeping multiple places
ralsei/nixpkgs
Nix Packages collection
ralsei/plot
ralsei/polymorphic-splitting-port
A Racket port of Suresh Jagannathan's and Andrew Wright's Polymorphic Splitting implementation.
ralsei/public-student-support-code
Public helper code for p423/p523 students (Racket)
ralsei/qmk_firmware
my QMK configuration for my Iris v4. I am not a keyboard person, do not ask me about this repo, thanks
ralsei/ralsei
ralsei/self-lace
digital electronics final project '19
ralsei/soft-contract
A prototype of soft contract verification for an untyped functional language
ralsei/soupbot
hi, bonewit. how are you doing
ralsei/system-f-redex
Church-style System F with definitions in Redex.
ralsei/the-duck-billed-revenge
video game's
ralsei/void-packages
The Void source packages collection
ralsei/xpad
Linux Kernel Driver for the Xbox/ Xbox 360/ Xbox One Controllers