ystael/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Developer Profile
ystael
Discovered public repositories for ystael in the GitHub catalog.
ystael/HoTT-Agda
Development of homotopy type theory in Agda
ystael/chicago-ug-math-bib
Chicago undergraduate mathematics bibliography
ystael/hott-sandbox
Sandbox for experiments with homotopy type theory
ystael/reactive
Public repository.
ystael/fpp-scala
Workspace for Functional Programming Principles in Scala course.
ystael/rwh
Learning content from Real World Haskell
ystael/agda-tutorial
Work from Ulf Norell's Agda tutorial
ystael/sf
Exercises from Software Foundations, in Coq and Agda
ystael/cpdt
Exercises from Certified Programming with Dependent Types
ystael/dotfiles
Dotfiles.
ystael/cassaforte
High-level Clojure driver (client) for Cassandra 1.2+ build around CQL 3
ystael/rails
Ruby on Rails
ystael/cucumber-rails
Rails Generators for Cucumber with localized steps for Capybara and Webrat
ystael/capybara
webrat alternative which aims to support all browser simulators
ystael/activerecord-jdbc-adapter
ActiveRecord adapter for JDBC and JRuby. Alternate clone at git://kenai.com/activerecord-jdbc~main
ystael/webrat
Webrat - Ruby Acceptance Testing for Web applications