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