jkingdon Goto Github PK

book

A textbook on informal homotopy type theory

discourse

A platform for community discussion. Free, open, simple.

factory_girl

Fixture replacement for focused and readable tests.

gemsontuf

This is an implementation of Rubys Gem updater service using TUF

ghilbert

fork of ghilbert which is at https://code.google.com/p/ghilbert/

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)

guides

A guide for programming in style.

hash_path

Easily find hash paths

hilbert

Script mathematical proofs from ruby

http

HTTP (The Gem! a.k.a. http.rb) - a fast Ruby HTTP client with a chainable API, streaming support, and timeouts

internrequest

jh2gh

script to convert proofs from jhilbert/wikiproofs to ghilbert

jhilbert

JHilbert is a a verifier for collaborative theorem proving

kochiku

Shard your builds for fun and profit

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.

levitation-perl

perl port of scy's levitation

mayfly

In-memory database for unit testing

metamath-exe

Metamath program - source code for the Metamath executable

metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.

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.

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

mmj2

mmj2 GUI Proof Assistant for the Metamath project

money

A Ruby Library for dealing with money and currency conversion.

rails

Ruby on Rails

rspec-expectations

Provides a readable API to express expected outcomes of a code example

rspec-rails23

Rspec2 for Rails 2.3.5 - No support guaranteed -- see README!

rubiks-cube

Solve your Rubik's Cube with an easy two-cycle solution

ruby-unf

A wrapper library to bring Unicode Normalization Form support to Ruby/JRuby

savon

Heavy metal Ruby SOAP client

set.mm

Metamath source file for logic and set theory