Eric Paniagua's repositories
clj-playground
Collection of scripts I'm playing with to learn clojure.
lrparse_exp
Experiments with LR parser and LR parser generator implementation techniques.
exp_encodings
Experiments in expressiveness of various styles of representation in the contexts of interpretation, type checking, and theorem proving.
NYCRduCopter
NYC Robotics QuadCopter Autopilot Software
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.
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
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
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
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