KimHyungSub
Follow
-
-
-
ai-deadlines Public
Forked from paperswithcode/ai-deadlines⏰ AI conference deadline countdowns
JavaScript MIT License UpdatedDec 11, 2024 -
se-deadlines.github.io Public
Forked from se-deadlines/se-deadlines.github.ioDeadline countdowns for academic conferences in Software Engineering
HTML UpdatedDec 11, 2024 -
sec-deadlines.github.io Public
Forked from sec-deadlines/sec-deadlines.github.ioDeadline countdowns for academic conferences in Security and Privacy
HTML UpdatedDec 11, 2024 -
Spin Public
Forked from nimble-code/SpinExplicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
C Other UpdatedOct 13, 2024 -
-
-
gym-pybullet-drones Public
Forked from utiasDSL/gym-pybullet-dronesPyBullet Gymnasium environments for single and multi-agent reinforcement learning of quadcopter control
Python MIT License UpdatedMar 24, 2024 -
fanalysis-drone-control-systems Public
Forked from rwitam-b/fanalysis-drone-control-systemsThis is a repo hosting my work for Purdue's CS 590 Independent Study
Jupyter Notebook UpdatedMay 5, 2023 -
mmWave_ROS2_PX4_Gazebo Public
Forked from nhma20/mmWave_ROS2_PX4_GazeboSimulate mmWave radar based drone control i Gazebo with ROS2 and PX4
C++ UpdatedNov 24, 2022 -
hotcrp-docker-compose Public
Forked from Bramas/hotcrp-docker-composeAn easy docker-compose deployement of hotcrp
PHP UpdatedSep 7, 2022 -
adaptive_swarm Public
Forked from RuslanAgishev/adaptive_swarmMultiple robots layered path planning algorithm implemented as a ROS node to control a swarm of nano quadrotors, Crazyflies 2.X, with real-time obstacle avoidance.
Jupyter Notebook MIT License UpdatedAug 7, 2022 -
SVF-data-flow Public
Forked from SVF-tools/SVF-exampleAn external project example using SVF as a library
-
gps-sdr-sim Public
Forked from osqzss/gps-sdr-simSoftware-Defined GPS Signal Simulator
C MIT License UpdatedApr 28, 2022 -
SVF Public
Forked from SVF-tools/SVFStatic Value-Flow Analysis Framework for Source Code
C++ Other UpdatedApr 6, 2022 -
llvm-tutor Public
Forked from banach-space/llvm-tutorA collection of out-of-tree LLVM passes for teaching and learning
C++ MIT License UpdatedMar 8, 2022 -
-
SVF-Teaching Public template
Forked from SVF-tools/Teaching-Software-AnalysisTeaching and Learning Software Analysis via SVF
-
-
llvm-demo Public
Forked from nsumner/llvm-demoA simple example of how LLVM can be used to gather static or dynamic facts about a program.
C++ MIT License UpdatedOct 23, 2021 -
ardupilot Public
Forked from ArduPilot/ardupilotArduPlane, ArduCopter, ArduRover, ArduSub source
C++ GNU General Public License v3.0 UpdatedSep 25, 2021 -
gsoc_21_gnss-sdr Public
Forked from harshadms/gsoc_21_gnss-sdrGNSS-SDR, an open-source software-defined GNSS receiver
C++ GNU General Public License v3.0 UpdatedAug 23, 2021 -
-
-
dRonin Public
Forked from d-ronin/dRoninThe dRonin flight controller software.
C Other UpdatedJul 28, 2021 -
vswarm Public
Forked from lis-epfl/vswarmvswarm: Vision-based Drone Flocking in Outdoor Environments
Python MIT License UpdatedApr 8, 2021 -
angelix Public
Forked from msv-lab/angelixSemantic program repair system for C programs
Java MIT License UpdatedMar 27, 2021 -
afl-training Public
Forked from mykter/afl-trainingExercises to learn how to fuzz with American Fuzzy Lop
C Other UpdatedFeb 21, 2021 -
ICSREF Public
Forked from momalab/ICSREFA tool for reverse engineering industrial control systems binaries.
Python MIT License UpdatedSep 9, 2020