-
codecompanion.nvim Public
Forked from olimorris/codecompanion.nvim✨ AI-powered coding, seamlessly in Neovim
-
-
smooth Public
Lie theory for robotics
-
-
smooth_feedback Public
Control and estimation on Lie groups
-
-
ezconfig Public
Instantiate C++ Objects from yaml and json
-
um-thesis Public
Latex Ph.D. thesis template for the University of Michigan
-
lp2d Public
Two-dimensional linear programming
-
CMake Public
Forked from Kitware/CMakeMirror of CMake upstream repository
C Other UpdatedSep 1, 2021 -
-
rclcpp Public
Forked from ros2/rclcpprclcpp (ROS Client Library for C++)
C++ Apache License 2.0 UpdatedMay 27, 2021 -
manif Public
Forked from artivis/manifA small c++11 header-only library for Lie theory.
-
autodiff Public
Forked from autodiff/autodiffautomatic differentiation made easier for C++
C++ MIT License UpdatedDec 31, 2020 -
Sophus Public
Forked from strasdat/SophusC++ implementation of Lie Groups using Eigen.
C++ Other UpdatedSep 6, 2020 -
mdp_network Public
Modeling and solutions of stochastic dynamic programming problems
-
pcis Public E25B
Tool for manipulation of polyhedral controlled-invariant sets
-
-
-
-
sublime_snippets Public
Personal snippets for Sublime text (mostly LaTeX and Matlab)
UpdatedOct 19, 2019 -
sparse Public
Forked from pydata/sparseSparse multi-dimensional arrays for the PyData ecosystem
Python BSD 3-Clause "New" or "Revised" License UpdatedSep 17, 2019 -
scr_website Public
Static website for academic conferences built with Jekyll
-
pdf-abstraction Public
Now developed in the mdp_network repository
-
academic_homepage2 Public
Academic homepage template built with Angular and Bootstrap
-
-
Ultra-Square-Catcher-USC- Public
Forked from S-poony/Ultra-Square-Catcher-USC-You are a green square catcher. Your goal is to catch blue squares in order to increase your score. But be carefull: the evil red square is jealous and wants to steal your score points !
HTML Apache License 2.0 UpdatedJan 13, 2019 -
posipoly Public
POSItive POLYnomial optimization (sums of squares, sdsos) for Python
-
-
arcs Public
Abstraction-refinement synthesis for temporal logic specifications
{{ message }}