Pinned Repositories
factory_girl
Fixture replacement for focused and readable tests.
ghilbert
fork of ghilbert which is at https://code.google.com/p/ghilbert/
hilbert
Script mathematical proofs from ruby
jhilbert
JHilbert is a a verifier for collaborative theorem proving
levitation-perl
perl port of scy's levitation
mayfly
In-memory database for unit testing
savon
Heavy metal Ruby SOAP client
wikiproofs
archive of what had been on wikiproofs.org
jkingdon's Repositories
jkingdon/hilbert
Script mathematical proofs from ruby
jkingdon/wikiproofs
archive of what had been on wikiproofs.org
jkingdon/ghilbert
fork of ghilbert which is at https://code.google.com/p/ghilbert/
jkingdon/jhilbert
JHilbert is a a verifier for collaborative theorem proving
jkingdon/book
A textbook on informal homotopy type theory
jkingdon/discourse
A platform for community discussion. Free, open, simple.
jkingdon/gemsontuf
This is an implementation of Rubys Gem updater service using TUF
jkingdon/ghilbert-app
mirror of the wiki/proof content at https://ghilbert-app.appspot.com/ (as of 2013, updated manually only; might be out of date)
jkingdon/guides
A guide for programming in style.
jkingdon/hash_path
Easily find hash paths
jkingdon/http
HTTP (The Gem! a.k.a. http.rb) - a fast Ruby HTTP client with a chainable API, streaming support, and timeouts
jkingdon/InternRequest
jkingdon/jh2gh
script to convert proofs from jhilbert/wikiproofs to ghilbert
jkingdon/kochiku
Shard your builds for fun and profit
jkingdon/layoff-runbook
Being laid off can be overwhelming and it's easy to miss important tasks. This runbook will help make sure you stay on track.
jkingdon/metamath-blueprints
Metamath Blueprints
jkingdon/metamath-exe
Metamath program - source code for the Metamath executable
jkingdon/metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
jkingdon/metamath-website-scripts
Scripts to set up the metamath website(s) so they're under version control, can be reviewed, and can be rerun. The scripts download the seed files from metamath-website-seed, databases from set.mm, etc.
jkingdon/metamath-website-seed
Starting seed files for metamath public website. The website starts with these and then uses generation scripts to generate other files from the .mm files
jkingdon/mmj2
mmj2 GUI Proof Assistant for the Metamath project
jkingdon/money
A Ruby Library for dealing with money and currency conversion.
jkingdon/rails
Ruby on Rails
jkingdon/rspec-expectations
Provides a readable API to express expected outcomes of a code example
jkingdon/rspec-rails23
Rspec2 for Rails 2.3.5 - No support guaranteed -- see README!
jkingdon/rubiks-cube
Solve your Rubik's Cube with an easy two-cycle solution
jkingdon/ruby-unf
A wrapper library to bring Unicode Normalization Form support to Ruby/JRuby
jkingdon/set.mm
Metamath source file for logic and set theory
jkingdon/theraffler
Randomly select a raffle winner from a Meetup.com event's RSVP list.
jkingdon/transpec
The RSpec syntax converter