A living open-source repository of academic resources for DA-IICT

The Serenity Operating System 🐞

Code and data used to create the examples in "Evidence-based Software Engineering based on the publicly available data"

Source code to pbrt, the ray tracer described in the forthcoming 4th edition of the "Physically Based Rendering: From Theory to Implementation" book.

ØMQ 4.x stable release branch - bug fixes only

C Object System: a framework that brings C to the level of other high level programming languages and beyond

Beyond Floating Point - Posit C/C++ implementation

WebAssembly specification, reference interpreter, and test suite.

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

Research on integrating datalog & lambda calculus via monotonicity types