Brandon Kase

DoctorPretty. Wadler's "A prettier printer" embedded pretty-printer DSL for Swift

CUDA-grep. grep on CUDA

cyklic. A Cycle.js inspired Native Single-Atom-State Purely Functional Reactive Composable UI Component library for Android

barbq. 🍖barbq is a text based status bar for macOS

gameboy. [alpha] Rust WASM gameboy emulator aiming for high framerate on mobile browsers

swift-di-explorations. Functional DI explorations in Swift

life. A Nix configuration for macOS and Linux

git-paradox. Copy history forward safely and easily

slides. Slide decks rendered from mardown

swift-fp-animations. playing around with an FP interface to animations

swift-optparse-applicative. Commandline parsing using applicatives (optparse-applicative ported from Haskell/Scala)

reasonable-wm. A functional tiling "window manager" for the web written in Reason

PathySwift. Typesafe Phantom-Type backed Paths (port of purescript-pathy)

empydom. Python-Javascript DOM bridge

kson. It's like GSON, but in Swift

tagless-graphics. Swift

abstraction. Data abstraction in Dhall

xbox-one-fake-driver. A "joystick driver" for Xbox One controllers on OSX

purescript-cache. Algebraic caches for purescript

rust-torrent. Rust torrent client (to play with rust)

algebraic-llm-course. AI-generated course exploring algebraic foundations of LLMs through interactive Pluto notebooks

Twitter-fake. Twitter fake for reason

dotfiles. dotfiles and other configuration files that reside in my home directory

android-scala-example. Example Scala Android project with guide

toy-cool-language. A type checker and interpreter for Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types (Joshua Dunfield, Neelakantan R. Krishnaswami)

joyfull. Use a joystick in the browser

static-electric. A typesafe static site DSL using JSX/Tyxml and a styling group

key-injector. Inject keyboard events into OSX

compiler. Playing with compilers (WASM?)

flickrbox. JavaScript

food-agent-project-untitled-concept. Food agent swarm project untitled concept

zsh-git-prompt. Informative git prompt for zsh

chrome-ingest. Vibe-coded Chrome History ingestion and MCP interface

jsonschema-to-dhall. Auto-generate Dhall bindings given a JSON Schema definition

Abstract. Practical Abstract Algebra in Swift

Algorithm-w-again. Doing Algorithm W again [Damas, Milner 82] and [Milner 77-78]

dotvim. My vim configuration

osx-life. A Nix-shell default.nix for my life in OSX

js-async-to-sync. Experiments in asyncToSync converters in web workers

r2d2b2g. Firefox OS Simulator is a test environment for Firefox OS. Use it to test your apps in a Firefox OS-like environment that looks and feels like a mobile phone.

aethel. A Git-native data vault with plugin-based architecture for building personal operating systems

hardcaml-gameboy. Hardware implementation of a GameBoy emulator using HardCaml (OCaml)

journal. An interactive, empathetic journaling application built on the Aethel document management system

momentum. The Ali Abdaal style Focus workflow as a native menu bar macapp

Android-Phonegap-Screenshot-Plugin. A plugin for Phonegap & Android that allows you to capture the current view of your app programmatically, without installing any 3rd party software or using the emulator.

nix-darwin. nix modules for darwin

datalog-gadt. Type-safe Datalog experiment using GADTs in OCaml

fast-blog. Static blog generator

phonegap-start. A starting-point for PhoneGap apps

drag-drop-in-cyclejs. Playing around with cycle.js; simple drag-drop-uploader

algebra-dummit-foote. Exercises for "Abstract Algebra by Dummit and Foote"

codeshare.