-
CSStipendRankings Public
Forked from CSStipendRankings/CSStipendRankingshttps://csstipendrankings.org
HTML Other UpdatedJan 24, 2025 -
prospect Public
Time series data generation from probabilistic and independence specifications
-
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 UpdatedSep 5, 2022 -
ctrl-perc-contracts F9EC Public
A repository for models and source related to controller-perception contracts.
-
coco-case-studies Public
Confidence Composition: Case Studies
-
-
IPL Public
Integration Property Language
-
IPLProjects Public
-
rainbow Public
Forked from cmu-able/rainbowRainbow self-adaptive framework
Java Other UpdatedNov 21, 2017 -
cpu-measure Public
Forked from miguelvelezmj25/cpu-measureMeasure cpu consumption
Python MIT License UpdatedFeb 14, 2017 -
turtlebot Public
Forked from turtlebot/turtlebotThe turtlebot stack provides all the basic drivers for running and using a TurtleBot.
C++ UpdatedMar 29, 2016 -
collision_detection_aadl Public
An AADL model of self-driving car using a collision detection system
-
-
-
osate2-plugins Public
Forked from osate/osate2-pluginsAnalysis plugins for OSATE2
Java UpdatedNov 11, 2014 -
osate2-core Public
Forked from gmcahill/osate2-coreOpen Source AADL2 Tool Environment
Java UpdatedJun 27, 2013 -
tpclient-pywx Public
Forked from thousandparsec/tpclient-pywxThe primary client, uses wxPython to look like a native application on Windows, Mac OS X and Linux (Gnome).
-
libtpclient-py Public
Forked from thousandparsec/libtpclient-pyA library which includes nice features for developing clients in python, includes things like caching support.
{{ message }}