Discover @bkase Open Source projects

Brandon Kase (@bkase)

bkase

Stars
735
Global Rank 40,987 (Top 2 %)
Followers 417
Following 11
Registered almost 14 years ago
Most used languages

JavaScript
13.3 %

Swift
13.3 %

OCaml
11.1 %

Java
8.9 %

Nix
6.7 %

Haskell
6.7 %

Vim Script
4.4 %

HTML
2.2 %

Python
2.2 %

Rust
2.2 %

Reason 2.2 %

Go
2.2 %

Scala
2.2 %

TeX
2.2 %

Dhall 2.2 %

Shell
2.2 %

PureScript 2.2 %

Cairo 2.2 %

C++
2.2 %

Kotlin
2.2 %

CSS
2.2 %

C
2.2 %

Assembly
2.2 %
Location 🇺🇸 United States
Country Total Rank 11,153
Country Ranking

Cairo 13

Dhall 16

PureScript 83

Reason 98

Nix
124

Assembly
262

OCaml
264

Haskell
385

Kotlin
440

Swift
569

Vim Script
1,372

Scala
1,748

C++
2,236

Shell
4,388

Rust
4,723

TeX
5,817

Go
8,580

HTML
9,978

DoctorPretty

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

CUDA-grep

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-optparse-applicative

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

PathySwift

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

reasonable-wm

A functional tiling "window manager" for the web written in Reason

empydom

Python-Javascript DOM bridge

kson

It's like GSON, but in Swift

abstraction

Data abstraction in Dhall

xbox-one-fake-driver

A "joystick driver" for Xbox One controllers on OSX

rust-torrent

Rust torrent client (to play with rust)

purescript-cache

Algebraic caches for purescript

android-scala-example

Example Scala Android project with guide

Twitter-fake

Twitter fake for reason

dotfiles

dotfiles and other configuration files that reside in my home directory

joyfull

Use a joystick in the browser

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)

osx-life

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

Algorithm-w-again

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

key-injector

Inject keyboard events into OSX

compiler

Playing with compilers (WASM?)

dotvim

My vim configuration

flickrbox

static-electric

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

js-async-to-sync

Experiments in asyncToSync converters in web workers

jsonschema-to-dhall

Auto-generate Dhall bindings given a JSON Schema definition

drag-drop-in-cyclejs

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

NextBart

Find the when the next bart is leaving

codeshare

site2

Trying to make a website again

haskell-play

Nix playground for haskell stuff

buckitup

Playing with facebook/buck#810 in an Android app

rust-ffi-example

An example of Rust's FFI for v0.4

Native-OpenCV-Android-4.0.3

OpenCV Tutorial 2 Advanced working in Android 4.0.3

datalog-gadt

Type-safe Datalog experiment using GADTs in OCaml

fast-blog

Static blog generator

looking-glass

Through the looking glass, to the world

swift-typed-ast-parser

Swift Typed AST Parser

cairo-schnorr

Schnorr in cairo (allegedly)

algebra-dummit-foote

Exercises for "Abstract Algebra by Dummit and Foote"