juxtin/clj-bob juxtin/clj-bob

  • Stars
    star
    61
  • Rank 495,347 (Top 10 %)
  • Language
    Clojure
  • License
    BSD 2-Clause "Sim...
  • Created about 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
juxtin/clj-bob
github

juxtin

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

jen

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

evil-clojure-emacs

Emacs Lisp
7
star
3

cucumber-layer

A Spacemacs layer for Gherkin/Cucumber based on feature-mode
Emacs Lisp
4
star
4

docker-pglogical

Docker image containing Postgres 9.4 and pglogical.
Dockerfile
3
star
5

idris-new

A basic Idris project template in pure Bash.
Shell
2
star
6

apiary2swagger

A converter from Apiary Blueprint to Swagger
Clojure
2
star
7

vimrc

Don't let the name fool you; this also includes my favorite plugins!
Vim Script
2
star
8

ch3shortener

Clojure
2
star
9

cryptol-layer

A Spacemacs layer for editing Cryptol files.
Emacs Lisp
1
star
10

tmi

Clojure
1
star
11

privMonad

Haskell
1
star
12

extracter

Extract comment docs from Facter facts
Clojure
1
star
13

crypto-idris

Idris
1
star
14

install-whonix

A series of scripts for downloading, verifying, and installing KVM Whonix on Debian.
Shell
1
star
15

dotspacemacs

Emacs Lisp
1
star