Invariants Text

Brought to you by: danielzingaro

1 Review

Downloads: 1 This Week

Last Update: 2015-05-23

Browse Code

Get an email when there's a new version of Invariants Text

Open-source version of 2008 textbook "Invariants: a Generative Approach to Programming"

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Invariants Text

Invariants Text Web Site

Other Useful Business Software

MongoDB Atlas runs apps anywhere Icon

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

Login To Rate This Project

User Ratings

5.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

1

0

0

0

0

ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Filter Reviews:

All

dtopham Posted 2012-08-07

This is a great book! I find it the most readable of the books aiming to explain invariants and how they can be used to develop correct loops. I hope this helps to make invariants more accessible to programmers. Thank you for making it available.

Read more reviews >

Additional Project Details

Intended Audience

Education

Registered

2011-05-12

Report inappropriate content

Recommended Projects

Obsidian Text Generator Plugin
Text Generator is an open-source AI Assistant Tool that brings the power of Generative Artificial Intelligence to the power of knowledge creation and organization in Obsidian. For example, use Text Generator to generate ideas, attractive titles, summaries, outlines, and whole paragraphs based on...
Generative AI Docs
Generative AI Docs is Google’s official documentation repository for Gemini, Vertex AI, and related generative AI APIs. It contains guides, API references, and examples for developers building applications using Google’s large language models, text-to-image models, embeddings, and multimodal...
SICP PDF
sicp-pdf is a LaTeX-based PDF version of Structure and Interpretation of Computer Programs (SICP), the classic textbook by Harold Abelson, Gerald Jay Sussman, and Julie Sussman. It builds upon the earlier Unofficial Texinfo Format (UTF), which itself was derived from the MIT Press HTML version,...
GLIDE (Text2Im)
glide-text2im is an open source implementation of OpenAI’s GLIDE model, which generates photorealistic images from natural language text prompts. It demonstrates how diffusion-based generative models can be conditioned on text to produce highly detailed and coherent visual outputs. The...
Scalaz
Scalaz is a foundational functional-programming library for Scala that provides type classes, data types, and syntax to write pure, composable code. It implements classic abstractions such as Functor, Applicative, Monad, Monoid, Foldable, and Traverse, along with powerful transformers (ReaderT,...