paniag
Neuroscientist, physicist, mathematician, computer scientist, software engineer. Perhaps one day I'll have to choose, but this is not that day!
@LACSRG (reading group, not a company)Sunnyvale, CA, USA
Pinned Repositories
clj-playground
Collection of scripts I'm playing with to learn clojure.
exp_encodings
Experiments in expressiveness of various styles of representation in the contexts of interpretation, type checking, and theorem proving.
lrparse_exp
Experiments with LR parser and LR parser generator implementation techniques.
NYCRduCopter
NYC Robotics QuadCopter Autopilot Software
paniag's Repositories
paniag/clj-playground
Collection of scripts I'm playing with to learn clojure.
paniag/lrparse_exp
Experiments with LR parser and LR parser generator implementation techniques.
paniag/exp_encodings
Experiments in expressiveness of various styles of representation in the contexts of interpretation, type checking, and theorem proving.
paniag/NYCRduCopter
NYC Robotics QuadCopter Autopilot Software
paniag/bazel
Correct, reproducible, and fast builds for everyone.
paniag/bazel-example-golang
An example repository demonstrating Bazel go_binary and go_library build targets.
paniag/bazel-example-golang-remote
An example repository demonstrating Bazel go_library build targets.
paniag/coq-sf-4.0
Working through Software Foundations to get a feel for proof assistants through Coq.
paniag/docker-dev
containerized development environments based on Phusion Base Image
paniag/drive-api
Scratch space to figure out how to work with the Google APIs for Drive.
paniag/encodings
BFPG talk on initial and final encodings
paniag/environment
environment
paniag/googletest
Googletest - Google Testing and Mocking Framework
paniag/haskell-pair
Haskell pair programming server via Vagrant
paniag/haskell-vim-now
One-line Haskell Vim install
paniag/idris-dev
Vagrant box for Idris development (WIP)
paniag/Kaleidoscope
Firmware for the Keyboardio Model 01 and other keyboards with AVR or ARM MCUs.
paniag/Kaleidoscope-Bundle-Keyboardio
A Kaleidoscope distribution for the Keyboardio Model 01 and other keyboards.
paniag/KeyboardioHID
A HID library for Arduino
paniag/meta-spec
data modeling framework
paniag/meta-spec-core
data modeling library
paniag/mongo-db-rest-api-demo
My version of the CodeWorkr Express Mongdb REST API Series
paniag/nodejs-api-authentication
My project watching the CodeWorkr video series
paniag/rf-tools
RF Tools
paniag/specl-pair
Dev environment for SPECL in Haskell derived from https://github.com/begriffs/haskell-pair.git
paniag/specljs
SpecL is a Data Modeling, Data Validation, Data Transformation, Code Generation Thing-a-ma-jig
paniag/vagrant-dev