-
Kaleidoscope-Bundle-Keyboardio Public
Forked from keyboardio/Kaleidoscope-Bundle-KeyboardioA Kaleidoscope distribution for the Keyboardio Model 01 and other keyboards.
C Other UpdatedSep 14, 2020 -
Kaleidoscope Public
Forked from keyboardio/KaleidoscopeFirmware for the Keyboardio Model 01 and other keyboards with AVR or ARM MCUs.
C++ GNU General Public License v3.0 UpdatedSep 10, 2020 -
KeyboardioHID Public
Forked from keyboardio/KeyboardioHIDA HID library for Arduino
C++ MIT License UpdatedSep 5, 2020 -
googletest Public
Forked from google/googletestGoogletest - Google Testing and Mocking Framework
C++ BSD 3-Clause "New" or "Revised" License UpdatedSep 1, 2020 -
-
meta-spec-core Public
data modeling library
TypeScript GNU General Public License v3.0 UpdatedJul 14, 2018 -
-
specljs Public
SpecL is a Data Modeling, Data Validation, Data Transformation, Code Generation Thing-a-ma-jig
JavaScript UpdatedOct 26, 2017 -
nodejs-api-authentication Public
My project watching the CodeWorkr video series
UpdatedOct 14, 2017 -
mongo-db-rest-api-demo Public
Forked from datajango/mongo-db-rest-api-demoMy version of the CodeWorkr Express Mongdb REST API Series
JavaScript UpdatedOct 14, 2017 -
-
specl-pair Public
Dev environment for SPECL in Haskell derived from https://github.com/begriffs/haskell-pair.git
Shell UpdatedJun 30, 2017 -
haskell-vim-now Public
Forked from begriffs/haskell-vim-nowOne-line Haskell Vim install
Shell MIT License UpdatedJun 18, 2017 -
haskell-pair Public
Forked from begriffs/haskell-pairHaskell pair programming server via Vagrant
Shell UpdatedMay 21, 2017 -
drive-api Public
Scratch space to figure out how to work with the Google APIs for Drive.
Go UpdatedMay 7, 2017 -
-
-
docker-dev Public
containerized development environments based on Phusion Base Image
ApacheConf UpdatedJan 12, 2017 -
exp_encodings Public
Experiments in expressiveness of various styles of representation in the contexts of interpretation, type checking, and theorem proving.
-
lrparse_exp Public
Experiments with LR parser and LR parser generator implementation techniques.
-
coq-sf-4.0 Public
Working through Software Foundations to get a feel for proof assistants through Coq.
HTML MIT License UpdatedSep 4, 2016 -
encodings Public
Forked from peddie/encodingsBFPG talk on initial and final encodings
Makefile UpdatedJul 11, 2016 -
bazel-example-golang Public
Forked from laramiel/bazel-example-golangAn example repository demonstrating Bazel go_binary and go_library build targets.
Go UpdatedApr 14, 2016 -
bazel Public
Forked from bazelbuild/bazelCorrect, reproducible, and fast builds for everyone.
Java Apache License 2.0 UpdatedApr 10, 2016 -
bazel-example-golang-remote Public
Forked from laramiel/bazel-example-golang-remoteAn example repository demonstrating Bazel go_library build targets.
Python UpdatedMar 21, 2016 -
-
clj-playground Public
Collection of scripts I'm playing with to learn clojure.
{{ message }}