Explore projects
-
Integrates programming and direct manipulation for CAD.
Updated -
Aman Shankar Mathur / InteractiveProgrammingCAD
MIT LicenseThe public repository of the paper "Interactive Programming for Parametric CAD".
Updated -
Simon Spies / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Armaël Guéneau / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
-
Niklas Mück / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
A simulator to visualize/analyze tracking data from VR
Updated -
Michael Sammler / iris-coq
Creative Commons Attribution 4.0 InternationalThe Coq development for Iris. [project website] [coqdoc]
Updated -
Léo Stefanesco / examples
BSD 3-Clause "New" or "Revised" LicenseSome example verification demonstrating the use of Iris.
Updated -
Publicly released Azure Functions traces from https://github.com/Azure/AzurePublicDataset/blob/master/AzureFunctionsDataset2019.md
Updated -
tlsomers / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Ralf Jung / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Abhishek Anand / Iris
Creative Commons Attribution 4.0 InternationalThe Coq development for Iris. [project website] [coqdoc]
Updated -
Code and documents for "Resilient Abstraction-Based Controller Design"
Updated -
-
-
Paolo G. Giarrusso / iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris
Updated -
A simple dataset of traces of the Hadoop Distributed File System (HDFS).
Updated -
A tool that helps instrumenting a system for distributed tracing. The tool detects places where trace context propagation is potentially needed.
Updated -
Burcu Özkan / pctcp-cass
OtherPCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system. Implemented on top of SAMC/DMCK distributed system model checking tool.
Updated