Akash-Harapanahalli
Follow
-
immrax Public
Forked from gtfactslab/immraxInterval Analysis and Mixed Monotone Reachability in JAX
Python UpdatedNov 21, 2024 -
-
old-personal-website Public
Forked from academicpages/academicpages.github.ioGithub Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedJul 29, 2024 -
jax_verify Public
Forked from google-deepmind/jax_verifyNeural network verification in JAX
Python Apache License 2.0 UpdatedJan 19, 2024 -
-
Graphing-Calculator Public
A graphing calculator built using npm with webpack. Built on React.js.
JavaScript UpdatedJan 13, 2023 -
-
Cao_OJCSYS2022 Public
Forked from gtfactslab/Cao_OJCSYS2022This code supplements the OJ-CSYS 2022 Special Section submission "Efficient Learning of Hyperrectangular Invariant Sets using Gaussian Processes".
MATLAB UpdatedAug 31, 2022 -
-
-
drake Public
Forked from RobotLocomotion/drakeModel-based design and verification for robotics.
C++ Other UpdatedJan 25, 2021 -
Hack-A-Thing-2019-2020 Public
Code for the Hack-A-Thing 2019-2020 Sift-n-Screw Challenge
UpdatedMar 22, 2020 -
-
YawYaw Public
A system designed to convert a user's head movements into usable control signals for a camera, designed for military applications.
Jupyter Notebook UpdatedOct 29, 2019 -
autodoc Public
For teams to create indexable, running logs of projects during work time by using Amazon's Alexa.
-
Graphing-Calculator-Old Public
An HTML/CSS/JavaScript Graphing Calculator!
JavaScript UpdatedFeb 20, 2018