Rebecca Valentine

SimpleFP-v2. A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS

so-you-want-to-write-a-type-checker. JavaScript

SimpleFP. A series of implementations of a simple functional programming language.

labrys. A toolkit for web autonomy.

hackers_poster.

ftp_sticker.

Haskell-Chart-Parser. Haskell

uwunion_sticker. A sticker inspired by the IWW logo, but gayer.

LensTutorial. Haskell

basic-proof-development. An experiment to show how a proof development system would work. Prelude to a blog post, most likely.

GenericEvaluators. A technique for implementing evaluators of various styles, independent of any particular lambda calculus.

formal_logic_class. A class on formal logic

c2_wiki_recovery. HTML

QUUS. Haskell

proof-refinement-basics. JavaScript

differentiating-regular-expressions. A companion repo for the blog post of the same name.

wayback_reconstructor. A tool for reconstructing a website from the Wayback Machine's backups

Moka. An old project to recreate Cocoa's FoundationKit and AppKit in JS instead of ObjectiveC

noisebridge-access-control-systems. A repo to collect ideas and resources for designing new models of access control systems at Noisebridge and beyond!

regex-edit-distance. HTML

Plutus-Core-Spec. TeX

datalog-magic-tutorial. A tutorial on the Magic transformation in Datalog.

xanalogical-hypertext-system. JavaScript

gas_drowner.

RegExWithZippers. RegEx with Zippers

TTInAgda. An implementation of the STLC in Agda, with raw terms, typing proofs, and indexed terms

day_zero_godot_repository. GDScript

cursed_html. A truly cursed flavor of HTML

set_based_program_calculation.

p2p_reference. A reference for p2p tech

day_zero_project_management. A slow WIP cyberpunk game

compiling_functional_languages. Haskell

glimmer. A Flash-like editor and framework, maybe?

FAQLSAStickers. Stickers for Fully Automated Queer Luxury Space Anarchism

simpler-symbolic-machine-learning. HTML

0w0_sticker. A sticker in the style of a chemical hazard sign, but also 0w0.

noisebridge-social-media-tool. Python

generative_semantics_rg. A reading group about Generative Semantics

language_engine_blog. My old blog from the Language Engine website.

Asteria. Yet Another Programming Language

hole_foods_market_sticker.

subpup_sticker.

proof_development. Haskell

TieredSystemF. Agda

hackerspace-tours-show.

plt_notes.

BrainDamage. An free software implementation of The Brain style graph based knowledge management.

BBHS. Barbados Haskell Class Lecture Notes

TextEditor. A new terminal-based text editor with scripting and stuff.

tree_editor. A JavaScript toolkit for displaying and editing trees in a browser.

a_view_from_the_left. Notes for a possible YouTube show

terminal-splash-screens. Splash screen animations for terminal programs.

standard-ansible-playbooks. A collection of Ansible playbooks that all of my Python web apps have in common.