Popular repositories Loading

1. clj-bob clj-bob Public

   The J-Bob proof assistant from The Little Prover in Clojure

   Clojure 61 7

2. jen jen Public

   Schema-style generators for Clojure's test.check testing framework

   Clojure 22 1

3. evil-clojure-emacs evil-clojure-emacs Public

   Emacs Lisp 7 2

4. docker-pglogical docker-pglogical Public

   Docker image containing Postgres 9.4 and pglogical.

   Dockerfile 4 10

5. cucumber-layer cucumber-layer Public

   A Spacemacs layer for Gherkin/Cucumber based on feature-mode

   Emacs Lisp 4 1

6. apiary2swagger apiary2swagger Public

   A converter from Apiary Blueprint to Swagger

   Clojure 2