Beast code in Giters

Michel Demazure's repositories

Language:RubyNOASSERTION020

Language:RubyNOASSERTION020

Language:RubyNOASSERTION020

gem for Jacinthe

Language:RubyNOASSERTION000

Core part of Jacinthe manager

Language:RubyNOASSERTION030

Language:RubyNOASSERTION000

Language:HTMLNOASSERTION000

Language:RubyNOASSERTION020

Qt GUI for Jacinthe management

Language:HTMLNOASSERTION000

Language:RubyNOASSERTION000

gem for Jacinthe

Language:RubyNOASSERTION000

Language:RubyNOASSERTION020

Utils for jacman

Language:RubyNOASSERTION020

An easy to install gem version of the Ruby bindings to Qt

Language:C++GPL-2.0000

An experimental Ruby code analyzer, based on the community Ruby style guide.

Language:RubyMIT020

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

000