wenlong's repositories
TFTPathPlanner
Velocity Based Motion Profile Path Generation
av3-fc
Event driven flight computer for rockets. Flown on L-10 and L-11.
batch-informed-trees
A fork of The Open Motion Planning Library (OMPL) to include Batch Informed Trees (BIT*)
Cherry-Autonomous-Racecar
Implementation of the CNN from End to End Learning for Self-Driving Cars on a Nvidia Jetson TX1 using Tensorflow and ROS
cocoSim
Automated Analysis Framework for Simulink/Stateflow
cogent
Proof-Code Cogeneration
copilot-kind
A library for using model-checking techiques with Copilot programs
ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
flight
Flight code for MIT CSAIL Robot Locomotion Group flying-through-forests project
Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
learnhaskell
Learn Haskell
nova
CUDA optimized code for solving MDPs, POMDPs, and Dec-POMDPs.
okvis
OKVIS: Open Keyframe-based Visual-Inertial SLAM.
phase3
This is the repository for the phase 3 demo software and build support
polyorb-hi-c
PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
ros_best_practices
Best practices, conventions, and tricks for ROS
SimulinkARDroneTarget
Deploy MATLAB Simulink model automatically to Parrot AR Drone with Embedded Coder C code generation
smaccmpilot-build
An umbrella repository including all of the dependencies to build the smaccmpilot project
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
spec-utils
A number of utilities for writing ACSL specification on Linux kernel module.
stm32f429
Keil projects and libraries for STM32F4xx devices
tis-interpreter
An interpreter for finding subtle bugs in programs written in standard C
visionworkbench
The NASA Vision Workbench is a general purpose image processing and computer vision library developed by the Autonomous Systems and Robotics (ASR) Area in the Intelligent Systems Division at the NASA Ames Research Center.