jkingdon

hilbert

Script mathematical proofs from ruby

wikiproofs

archive of what had been on wikiproofs.org

ghilbert

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

jhilbert

JHilbert is a a verifier for collaborative theorem proving

book

A textbook on informal homotopy type theory

discourse

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

gemsontuf

This is an implementation of Rubys Gem updater service using TUF

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

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

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.

metamath-blueprints

Metamath Blueprints

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

set.mm

Metamath source file for logic and set theory

theraffler

Randomly select a raffle winner from a Meetup.com event's RSVP list.

transpec

The RSpec syntax converter