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/clj-bob
The J-Bob proof assistant from The Little Prover in Clojure
juxtin/ch3shortener
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/crypto-idris
juxtin/cryptol-layer
A Spacemacs layer for editing Cryptol files.
juxtin/autosquash
juxtin/clj-schema-tools
juxtin/compojure-template
Compojure project template for Leiningen
juxtin/console-dockerbase
juxtin/curl-idris
juxtin/esop16
Code to accompany ESOP 2016 paper
juxtin/hack-clj
An assembler for the Hack platform written in Clojure
juxtin/Idris-dev
A Dependently Typed Functional Programming Language
juxtin/idris-nand2tetris
juxtin/idris-voicebox
juxtin/j-bob
juxtin/jdbc-util
Common jdbc utilities for use in Puppet Labs clojure projects
juxtin/markov-idris
A simple sentence generator based on Markov chains.
juxtin/nc-hiera-poc
juxtin/neveragaindottech.github.io
Source files for the neveragain.tech site
juxtin/pglogical
Logical replication extension for PostgreSQL 9.4, 9.5 and 9.6
juxtin/pglogical-bug
juxtin/pglogical-duplicate-row-bug
An attempt to reproduce a possible pglogical bug
juxtin/pglogical-vm
juxtin/projectile
Project Interaction Library for Emacs
juxtin/sf-idris
juxtin/statement-on-lambdaconf.github.io
juxtin/test.check
QuickCheck for Clojure
juxtin/tutor-typer
A toy implementation of static types in Clojure