cobbal Goto Github PK

360controller

TattieBogle Xbox 360 Driver (with improvements)

advent-of-code

My advent of code solutions

btree

Fast sorted collections for Swift using in-memory B-trees

calendar-facts-generator

Generates calendar facts as per xkcd #1930

coq-lit

Literate coq blog posts

emacs-with-ffi

A few modifications to GNU Emacs to add libffi bindings

evil

The extensible vi layer for Emacs.

fc-abstract

Abstract Interpreter for Haskell's CoreSyntax (system FC)

gamble

Probabilistic Programming

git-up

Stop using "git pull". Be polite.

gitdiffswift

A Git diff parser written in Swift

go-xcode

gpuimage

An open source iOS framework for GPU-based image and video processing

haskell-mode

Emacs mode for Haskell

hnes

Hacker News Extension Suite

llvmswift

A Swift wrapper for the LLVM C API (version 11.0)

menuhammer

A Spacemacs inspired menu system for macOS built for Hammerspoon.

microscheme

nixpkgs

Nix Packages collection

pcfg-derivatatives

pdfkit

A JavaScript PDF generation library for Node and the browser

pietc

A Piet compiler, built on llvm

ppl-ctx-equiv-coq

A logical relation for contextual equivalence of a probabilistic programming language in Coq

python-for-iphone

Build script for compiling python into a static library that can be used with the official SDK

python-for-iphone-test

A test for running python on the iPhone

rust-tracer

A ray tracer derived from the "Ray Tracing in One Weekend" series of books

semantics-recursive-real-ppl

Coq implementation of logical relations for reasoning about a probabilistic programming language with continuous random variables and recursion.

slate

A window management application (replacement for Divvy/SizeUp/ShiftIt)

sourcery

Meta-programming for Swift, stop writing boilerplate code.

steps-cache-push

Upload Cache