MIT has made a bold move in a time of overpriced colleges; it has made it's free online courses available for credit.

In an effort to bring the best and brightest minds to the school, the institute is offering free online courses in one of MIT's graduate…

What is a PEG What is LPeg Installing LPeg Some simple grammars String equality Combining patterns Parsing numbers A calculator expression parser Closing What is a PEG A PEG, or Parsing Expression Grammar, is a way of describing a language (or patter...

Simulation Model to plan the capacity of an oncology Hospital with limited number of beds. The R script is run on R Studio or called from PHP.

Text to image synthesis using thought vectors. Contribute to paarthneekhara/text-to-image development by creating an account on GitHub.

The README.md does not seem to cover why this was made... any interesting blog post it can link to, or excerpt of whatever caused you to start making this?

In this post we demonstrate how DIGITS can be used to train two different types of convolutional neural network for detecting buildings in the SpaceNet 3-band imagery.

Distributed systems are notorious for harboring subtle bugs. Verification can, in principle, eliminate these bugs a priori, but verification has historically been difficult to apply at full-program scale, much less distributed-system scale. We describe a…

Dafny is a programming language with built-in specification constructs. The Dafny static program verifier can be used to verify the functional correctness of programs. The Dafny programming language is designed to support the static verification of programs.…