-
-
pact-5-minute-getting-started-guide Public template
Forked from pact-foundation/pact-5-minute-getting-started-guideJavaScript UpdatedMar 12, 2025 -
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Python Other UpdatedDec 9, 2021 -
highway-env Public
Forked from Farama-Foundation/HighwayEnvA minimalist environment for decision-making in autonomous driving
Python MIT License UpdatedNov 30, 2021 -
alloy-maxsat-benchmark Public
Forked from cmu-soda/alloy-maxsat-benchmarkAlloy MIT License UpdatedJun 4, 2021 -
AIF360 Public
Forked from Trusted-AI/AIF360A comprehensive set of fairness metrics for datasets and machine learning models, explanations for these metrics, and algorithms to mitigate bias in datasets and models.
Python Apache License 2.0 UpdatedMar 10, 2021 -
minimal-mistakes Public
Forked from mmistakes/minimal-mistakes📐 Jekyll theme for building a personal site, blog, project documentation, or portfolio.
HTML MIT License UpdatedDec 24, 2020 -
-
2PC-FSP Public
Forked from qhr961217-CMU/2PC-FSPTwo-Phase Commit Analysis with FSP
1 UpdatedAug 15, 2020 -
-
-
DeviceMonitor Public
Forked from yifeiy3/DeviceMonitorSimple device monitor for Samsung SmartThings to check for anomalous behaviors at runtime
Python UpdatedMay 12, 2020 -
Verification-and-Repair Public
Forked from weibrian/Verification-and-RepairC++ UpdatedApr 22, 2020 -
MappingSynthesisTool Public
This repository contains a prototype implementation of the Mapping Synthesis Tool.
-
Firmware Public
Forked from PX4/PX4-AutopilotPX4 Autopilot Software
C++ BSD 3-Clause "New" or "Revised" License UpdatedNov 1, 2018 -
alloytools.github.io Public
Forked from AlloyTools/alloytools.github.ioWebsite for Alloytools
HTML MIT License UpdatedApr 20, 2018 -
academicpages.github.io Public
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedDec 8, 2017 -
-
validAlloy Public
A tool for validating Alloy specifications using test-case generation
-
-