bkase

barbq

🍖barbq is a text based status bar for macOS

CUDA-grep

grep on CUDA

cyklic

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

DoctorPretty

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

gameboy

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

git-paradox

Copy history forward safely and easily

life

A Nix configuration for macOS and Linux

slides

Slide decks rendered from mardown

swift-di-explorations

Functional DI explorations in Swift

bkase/swift-di-explorations

Functional DI explorations in Swift

bkase/swift-fp-animations

playing around with an FP interface to animations

bkase/swift-optparse-applicative

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

bkase/PathySwift

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

bkase/tagless-graphics

bkase/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)

bkase/Abstract

Practical Abstract Algebra in Swift

bkase/osx-life

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

bkase/static-electric

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

bkase/algebra-dummit-foote

Exercises for "Abstract Algebra by Dummit and Foote"

bkase/datalog-gadt

Type-safe Datalog experiment using GADTs in OCaml

bkase/nix-darwin

nix modules for darwin

bkase/swift-typed-ast-parser

Swift Typed AST Parser

bkase/bs-electron

Bucklescript bindings for Electron

bkase/bucklescript

A backend for the OCaml compiler which emits JavaScript.

bkase/build-your-own-mint

Build your own personal finance analytics using Plaid, Google Sheets and CircleCI.

bkase/cyptography-study

bkase/ExperimentalFullyAbstractParallelAnimations

Experimental (just messing around); don't use this

bkase/kademlia

A haskell library implementing the Kademlia DHT

bkase/libremarkable

The only public framework for developing applications with native refresh support for Remarkable Tablet

bkase/neoformat

:sparkles: A (Neo)vim plugin for formatting code.

bkase/ocamlformat

Auto-formatter for OCaml code

bkase/percy

A modular toolkit for building isomorphic web apps with Rust + WebAssembly

bkase/rpc_parallel

Type-safe library for building parallel applications, built on top of Async's Rpc module.

bkase/rules_apple

Bazel rules to build apps for Apple platforms.

bkase/runelite

Open source Old School RuneScape client

bkase/site

new personal site

bkase/slides2

A (hopefully temporary) pseudo mirror of my slides as slides repo is weird

bkase/XcodeGen

Swift command line tool that generates your Xcode project from a simple spec and your folder structure

bkase/xcproj

Swift library for parsing Xcode projects