Umair Siddique's repositories
fault-tree-mcs
Computation of minimal cutsets using MOCUS Algorithm
event-tree-analysis
Generates event tree graph from the components failure modes.
GlossaryMD
A glossary template for Markdown
highway-env
A minimalist environment for decision-making in autonomous driving
Language:PythonMIT000
homebrew-core
🍻 Default formulae for the missing package manager for macOS
BSD-2-Clause000
ltlrewrite
Rewriting Based Finite Trace Checker for LTL
ocaml-torch
OCaml bindings for PyTorch
Apache-2.0000
Language:PythonUnlicense000
reelay
A header-only C++ library for system-level verification and testing of real-time systems, including Python bindings.
MPL-2.0000
rosbag.js
ROS bag file reader for JavaScript 👜
Apache-2.0000
tool_lists
Links to tools by subject
Language:HTML000
usiddique.com
Personal Web
Language:HTML000