bkase Goto Github PK

237-tutorial-2

This is a tutorial for git

237-tutorial-git

Tutorial for 237

abstract

Practical Abstract Algebra in Swift

abstraction

Data abstraction in Dhall

actuarius

A markdown processor for the JVM written in Scala.

addon-sdk

The Add-on SDK repository.

algebra

Abstract Algebraic Structures in Swift

algebra-dummit-foote

Exercises for "Abstract Algebra by Dummit and Foote"

algorithm-w-again

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

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.

android-scala-example

Example Scala Android project with guide

android-websockets

Bare minimum websockets (hybi13/RFC) client for Android

apns

A Golang package for sending Apple Push Notifications and using the Feedback Service.

archey-osx

b2gremote

A Firefox add-on to manage your b2g device.

barbq

🍖barbq is a text based status bar for macOS

bazel

Correct, reproducible, and fast builds for everyone.

bkase-site

New Personal Site

blogify

Static site generator from a github web hook

bow

Bow is a library for Typed Functional Programming in Swift

brightfutures

A simple Futures & Promises library for iOS and OS X written in Swift

bs-director

BuckleScript bindings to the Director router

bs-electron

Bucklescript bindings for Electron

buckitup

Playing with facebook/buck#810 in an Android app

bucklescript

A backend for the OCaml compiler which emits JavaScript.

build-your-own-mint

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

cafeandcowork

Cafe and Cowork. Find places to work. Open and collaborative.

cairo-schnorr

Schnorr in cairo (allegedly)

carlos

A simple but flexible cache

coda

Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.