Category
Programming Languages & Software Engineering
Language
TypeScript
Project Lead
Daniel Jackson

MIT License
Last Updated
Category
Programming Languages & Software Engineering
Language
Standard ML
Project Lead
Adam Chlipala

Ur/Web is Ur plus a special standard library and associated rules for parsing and optimization. Ur is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system

Last Updated
Category
Programming Languages & Software Engineering
Language
C++
Project Lead
Hari Balakrishnan

Remy is an optimization tool to develop new TCP congestion-control schemes, given prior knowledge about the network it will encounter and an objective to optimize for.

Last Updated
Category
Programming Languages & Software Engineering
Language
C++
Project Lead
Hari Balakrishnan

Sprout is a transport protocol for interactive applications that desire high throughput and low delay.

Last Updated
Category
Programming Languages & Software Engineering
Project Lead
Saman Amarasinghe

PetaBricks is a new implicitly parallel language and compiler where having multiple implementations of multiple algorithms to solve a problem is the natural way of programming

MIT License
Last Updated
Category
Programming Languages & Software Engineering

Simit is a new programming language designed to make it easy to write high-performance code to compute on sparse systems.

Last Updated