jkingdon Goto Github PK
Name: Jim Kingdon
Type: User
Name: Jim Kingdon
Type: User
A textbook on informal homotopy type theory
A platform for community discussion. Free, open, simple.
Fixture replacement for focused and readable tests.
This is an implementation of Rubys Gem updater service using TUF
fork of ghilbert which is at https://code.google.com/p/ghilbert/
mirror of the wiki/proof content at https://ghilbert-app.appspot.com/ (as of 2013, updated manually only; might be out of date)
A guide for programming in style.
Easily find hash paths
Script mathematical proofs from ruby
HTTP (The Gem! a.k.a. http.rb) - a fast Ruby HTTP client with a chainable API, streaming support, and timeouts
script to convert proofs from jhilbert/wikiproofs to ghilbert
JHilbert is a a verifier for collaborative theorem proving
Shard your builds for fun and profit
Being laid off can be overwhelming and it's easy to miss important tasks. This runbook will help make sure you stay on track.
perl port of scy's levitation
In-memory database for unit testing
Metamath Blueprints
Metamath program - source code for the Metamath executable
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
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.
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 GUI Proof Assistant for the Metamath project
A Ruby Library for dealing with money and currency conversion.
Ruby on Rails
Provides a readable API to express expected outcomes of a code example
Rspec2 for Rails 2.3.5 - No support guaranteed -- see README!
Solve your Rubik's Cube with an easy two-cycle solution
A wrapper library to bring Unicode Normalization Form support to Ruby/JRuby
Heavy metal Ruby SOAP client
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.