Popular repositories Loading

1. chicago-ug-math-bib chicago-ug-math-bib Public

   Chicago undergraduate mathematics bibliography

   HTML 688 58

2. agda-tutorial agda-tutorial Public

   Work from Ulf Norell's Agda tutorial

   1

3. hott-sandbox hott-sandbox Public

   Sandbox for experiments with homotopy type theory

   Agda 1

4. webrat webrat Public

   Forked from brynary/webrat

   Webrat - Ruby Acceptance Testing for Web applications

   Ruby

5. activerecord-jdbc-adapter activerecord-jdbc-adapter Public

   Forked from jruby/activerecord-jdbc-adapter

   ActiveRecord adapter for JDBC and JRuby. Alternate clone at git:https://kenai.com/activerecord-jdbc~main

   Ruby

6. capybara capybara Public

   Forked from teamcapybara/capybara

   webrat alternative which aims to support all browser simulators

   Ruby