There are no reviews yet. Be the first to send feedback to the community and the maintainers!
clj-bob
The J-Bob proof assistant from The Little Prover in Clojurejen
Schema-style generators for Clojure's test.check testing frameworkevil-clojure-emacs
cucumber-layer
A Spacemacs layer for Gherkin/Cucumber based on feature-modedocker-pglogical
Docker image containing Postgres 9.4 and pglogical.idris-new
A basic Idris project template in pure Bash.apiary2swagger
A converter from Apiary Blueprint to Swaggerch3shortener
cryptol-layer
A Spacemacs layer for editing Cryptol files.tmi
privMonad
extracter
Extract comment docs from Facter factscrypto-idris
install-whonix
A series of scripts for downloading, verifying, and installing KVM Whonix on Debian.dotspacemacs
Love Open Source and this site? Check out how you can help us