paniag Goto Github PK

bazel

Correct, reproducible, and fast builds for everyone.

bazel-example-golang

An example repository demonstrating Bazel go_binary and go_library build targets.

bazel-example-golang-remote

An example repository demonstrating Bazel go_library build targets.

clj-playground

Collection of scripts I'm playing with to learn clojure.

coq-sf-4.0

Working through Software Foundations to get a feel for proof assistants through Coq.

docker-dev

containerized development environments based on Phusion Base Image

drive-api

Scratch space to figure out how to work with the Google APIs for Drive.

encodings

BFPG talk on initial and final encodings

environment

environment

exp_encodings

Experiments in expressiveness of various styles of representation in the contexts of interpretation, type checking, and theorem proving.

googletest

Googletest - Google Testing and Mocking Framework

haskell-pair

Haskell pair programming server via Vagrant

haskell-vim-now

One-line Haskell Vim install

idris-dev

Vagrant box for Idris development (WIP)

kaleidoscope

Firmware for the Keyboardio Model 01 and other keyboards with AVR or ARM MCUs.

kaleidoscope-bundle-keyboardio

A Kaleidoscope distribution for the Keyboardio Model 01 and other keyboards.

keyboardiohid

A HID library for Arduino

lrparse_exp

Experiments with LR parser and LR parser generator implementation techniques.

meta-spec

data modeling framework

meta-spec-core

data modeling library

mongo-db-rest-api-demo

My version of the CodeWorkr Express Mongdb REST API Series

nodejs-api-authentication

My project watching the CodeWorkr video series

nycrducopter

NYC Robotics QuadCopter Autopilot Software

rf-tools

RF Tools

specl-pair

Dev environment for SPECL in Haskell derived from https://github.com/begriffs/haskell-pair.git

specljs

SpecL is a Data Modeling, Data Validation, Data Transformation, Code Generation Thing-a-ma-jig

vagrant-dev