jkingdon

Pinned Repositories

factory_girl
Fixture replacement for focused and readable tests.
Language:Ruby2 2 00
ghilbert
fork of ghilbert which is at https://code.google.com/p/ghilbert/
Language:JavaScript1 3 00
hilbert
Script mathematical proofs from ruby
Language:Ruby3 3 00
jhilbert
JHilbert is a a verifier for collaborative theorem proving
Language:Java1 2 00
levitation-perl
perl port of scy's levitation
Language:Perl2 3 01
mayfly
In-memory database for unit testing
Language:Java8 5 04
savon
Heavy metal Ruby SOAP client
Language:Ruby3 3 01
wikiproofs
archive of what had been on wikiproofs.org
Language:CSS4 2 00

jkingdon's Repositories

jkingdon/mayfly
In-memory database for unit testing
Language:Java8 5 04
jkingdon/savon
Heavy metal Ruby SOAP client
Language:Ruby3 3 01
jkingdon/factory_girl
Fixture replacement for focused and readable tests.
Language:Ruby2 2 00
jkingdon/levitation-perl
perl port of scy's levitation
Language:Perl2 3 01