Pinned Repositories
apiary2swagger
A converter from Apiary Blueprint to Swagger
ch3shortener
clj-bob
The J-Bob proof assistant from The Little Prover in Clojure
cucumber-layer
A Spacemacs layer for Gherkin/Cucumber based on feature-mode
docker-pglogical
Docker image containing Postgres 9.4 and pglogical.
evil-clojure-emacs
idris-new
A basic Idris project template in pure Bash.
jen
Schema-style generators for Clojure's test.check testing framework
vimrc
Don't let the name fool you; this also includes my favorite plugins!
juxtin's Repositories
juxtin/cucumber-layer
A Spacemacs layer for Gherkin/Cucumber based on feature-mode
juxtin/docker-pglogical
Docker image containing Postgres 9.4 and pglogical.
juxtin/idris-new
A basic Idris project template in pure Bash.
juxtin/vimrc
Don't let the name fool you; this also includes my favorite plugins!
juxtin/dotspacemacs
juxtin/install-whonix
A series of scripts for downloading, verifying, and installing KVM Whonix on Debian.
juxtin/privMonad
juxtin/brainfuck
juxtin/clj-digest
Digest algorithms for Clojure
juxtin/clj-kitchensink
Library of utility functions for clojure
juxtin/clj-parent
A clojure project that defines version numbers for common dependencies
juxtin/dark_vintage_reborn
juxtin/django
juxtin/gadtpost
juxtin/gore
Visualize a Golang project's internal import graph
juxtin/gossdeep
juxtin/hash-poc
juxtin/hasklisp
juxtin/mrsh-v2
Fork/mirror of the mrsh-v2 reference implementation by Frank Breitinger
juxtin/nand2hasktris
juxtin/navigation
Routing for SPAs, the Elm way
juxtin/packages
Javascript libraries packaged up with Google Closure externs
juxtin/pt-voicebox
predictive text emulator multiple sources
juxtin/puppet
Server automation framework and application
juxtin/puppetserver
Server automation framework and application
juxtin/spacemacs
Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
juxtin/spacemacs-coq
A very simple coq layer for spacemacs
juxtin/ssdeep
SSDEEP hash lib in Golang
juxtin/tsd
juxtin/vintage-demo