Simulation of RRT* algorithms with and without Dubins Nonholonomic Robot steering.

Code for Online Photometric Calibration of Automatic Gain Thermal Infrared Cameras (RAL-ICRA 2021)

Variadic recursive expression templates with lazy evaluation which look like ordinary (possibly nested) containers.

A command line tool that draw plots on the terminal.

🦕 nanosaur is a little robot, powered by ROS 2. Made for NVIDIA Jetson

Automated Reasoning in Nonlinear Theories of Reals

A non-linear trajectory optimization library developed by Optimus Ride, Inc. This library implements a C++ version of the original open-source ALTRO solver developed by the Robotic Exploration Lab …

Create and update your Jira issues while inside Vim!

Parametric 2d/3d CAD

Remarkable Markdown Debian Package Fix

Next-generation AD

(experimental) tracing and abstract interpretation with SymbolicUtils.jl

Formal Verification of Deep Neural Networks in Julia

⅀

Signal logging and scoping for DifferentialEquations.jl simulations.

A Julia package for representing infinite-dimensional arrays

Python utility for visualizing growth data from a newborn's first year, such as feeding, diapering, sleep, and growth, recorded in the Glow Baby app.

An intuitive modeling interface for infinite-dimensional optimization problems.

An experimental package for loading and saving object in Python Pickle format.

Learning Certified Control Using Contraction Metric (CoRL 2020)

Hyperparameter optimization in Julia.

Methods to soundly verify deep neural networks

Julia Animations and Visualizations

An Open Flexible Quadrotor Simulator

A cross-platform installer for the Julia programming language

Macro(s) for vectorizing loops.

Forward Mode Automatic Differentiation for Julia

Gaussian Process package based on data augmentation, sparsity and natural gradients

Compile your Julia Package

Create a beautiful landing page for your package in less than 10 minutes.