Explore projects
-
Updated
-
Ariane Chu / mini-ndn
GNU General Public License v3.0 or laterMininet-based NDN emulator (mailing list: https://www.lists.cs.ucla.edu/mailman/listinfo/mini-ndn)
Updated -
Updated
-
Updated
-
ITV / Bibtex Formatter
MIT LicenseUpdated -
Deuchert, Jacob / tchecker
MIT LicenseTChecker is an open-source verification tool for timed automata
Updated -
Updated
-
Dominique Unruh / Introduction to Quantum Computing
Creative Commons Attribution Non Commercial 4.0 InternationalUpdated -
Updated
-
mbd_lectures / Continuum Mechanical Modeling for Simulation Science
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
The trace player is used to replay anonimized traces for a registry, but can also be used with plugins to simulate caching or prefetching.
Updated -
-
A repository for public containers, e.g. public deployment of docker and apptainer images
Updated