GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → steveloughran → formality

steveloughran / formality

Licence: Apache-2.0 license
Formal Methods, Maths and papers

Programming Languages

TeX
3793 projects
Rich Text Format
576 projects
Roff
2310 projects
TLA
29 projects
HTML
75241 projects

formality

Formal Methods, Maths and papers

This is a general space for me doing more rigorous stuff, especially in/near Hadoop. When things are ready for incorporation into the Hadoop codebase, I'll put them in as patches.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].