Discover @pettni Open Source projects

Petter Nilsson (@pettni)

pettni

Stars
278
Global Rank 94,773 (Top 4 %)
Followers 53
Following 14
Registered over 11 years ago
Most used languages

C++
31.3 %

Python
18.8 %

TeX
12.5 %

Jupyter Notebook
12.5 %

MATLAB
12.5 %

HTML
6.3 %

JavaScript
6.3 %
Location 🇺🇸 United States
Country Total Rank 32,566
Country Ranking

TeX
723

C++
1,351

MATLAB
2,803

smooth

Lie theory for robotics

smooth_feedback

Control and estimation on Lie groups

um-thesis

Latex Ph.D. thesis template for the University of Michigan

arcs

Abstraction-refinement synthesis for temporal logic specifications

ezconfig

Instantiate C++ Objects from yaml and json

jpsl

Jump-point search in three dimensions

mdp_network

Modeling and solutions of stochastic dynamic programming problems

scr_website

Static website for academic conferences built with Jekyll

palette

A beamerposter theme

lp2d

Two-dimensional linear programming

tulip-examples

Examples of discrete synthesis using the TuLiP toolbox

Jupyter Notebook

posipoly

POSItive POLYnomial optimization (sums of squares, sdsos) for Python

pdf-abstraction

Now developed in the mdp_network repository

Jupyter Notebook

mode-count

Solve counting problems via integer optimization

academic_homepage

pcis

Tool for manipulation of polyhedral controlled-invariant sets