Explore projects
-
Carina Schmitt / academicpages
MIT LicenseGithub Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Updated -
Maxime Dénès / LambdaRust-coq
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
Groundhog / openwhisk-runtime-python
Apache License 2.0Updated -
Updated
-
The public repository accompanying the paper 'Paracosm: A Test Framework for Autonomous Driving Simulations'.
Updated -
Thomas Somers / RefinedRust Dev
Apache License 2.0Updated -
Groundhog / openwhisk-runtime-nodejs
Apache License 2.0Updated -
Dan Frumin / iris-examples
BSD 3-Clause "New" or "Revised" LicenseSome example verification demonstrating the use of Iris.
Updated -
Updated
-
UpdatedUpdated
-
Gregory Malecha / Iris
Creative Commons Attribution 4.0 InternationalThe Coq development for Iris. [project website] [coqdoc]
Updated -
Backpack / Class Struggle
BSD 3-Clause "New" or "Revised" LicenseAnalysis of type classes for Backpack, part of Scott Kilpatrick's PhD thesis. Library for determining the worlds of type class knowledge that modules have. Also a binary, orphans-stats, to compute statistics about orphan instances.
Updated -
Aman Shankar Mathur / InteractiveProgrammingCAD
MIT LicenseThe public repository of the paper "Interactive Programming for Parametric CAD".
Updated -
Updated
-
Maxime Dénès / iris-coq
Creative Commons Attribution 4.0 InternationalThe Coq development for Iris. [project website] [coqdoc]
Updated
