nicholasrenninger Goto Github PK

aerospace_labs

An updated repository with all of the code written to analyze data, model physical systems, and simulate physical phenomena in MATLAB for aerospace labs.

asen6519-dmu-project-paper

Decision-making Under Uncertainty Final Project Paper.

astar_and_prm_planning_analysis

Implementation of the A* / Dijkstra search algorithms, a Probabilistic Roadmap (PRM) Planner with path smoothing, and a statistical benchmarking suite

autonomouscarcontrolsynthesis

LTL to Control Synthesis (using formal methods concepts) Framework for a Basic Highway Driving Scenario

blender_addon_-_outliner_extend_keys

[Blender Addon] Outliner Extend Keys

bugalgorithms_and_kinematics

Implementation of Bug Algorithms and Basic Forwards / Inverse Kinematics Equations.

carfollowingrtisandbox

A sandbox for personal experiments with the carFollowingRTI repository

csci_2400_attack_lab

csci_2400_bomb_lab

csci_2400_data_lab

C program that implements basic arithmetic operations using only basic bit level operations.

csci_2400_shell_lab

A basic shell program written in C for Linux.

csci_5922_final_project_report

cspaceviz_gradient_wavefront_planners

Implementation of a 2-D 2DoF manipulator configuration space visualizer, as well as implementations of a gradient descent and wavefront planner for this manipulator.

deeplearning_with_ralphie

Materials for the CU graduate course on deep learning.

dfasat

*Fork* flexfringe is a tool for learning finite state machines, also known as deterministic finite automata. It brings common merge heuristics such as alergia, EDSM, likelihood-ratio, and others, but also offers a flexible interface to easily add custom merge heuristics. It is based on Sicco Verwer's implementation of a state-merger in C++ called dfasat.

dsm

Repository of "Deep Specification Mining" project

gail-formal_methods

A docker environment and notebooks to experiment with Generative Adversarial Imitation Learning and Formal Methods

gitignore

A collection of useful .gitignore templates

ifm3d

Library and Utilities for working with ifm pmd-based 3D ToF Cameras

ifm3d-examples

Example programs which utilize the ifm3d library

iterm2-color-schemes

Over 200 terminal color schemes/themes for iTerm/iTerm2. Includes ports to Terminal, Konsole, PuTTY, Xresources, XRDB, Remina, Termite, XFCE, Tilda, FreeBSD VT, Terminator, Kitty, MobaXterm, LXTerminal, compatible with Microsoft's terminal

lingeling

Lingeling SAT Solver

monokaic

A Monokai theme for Sublime Text providing both colored and text-style preview for Markdown editing.

motion-planning-projects

A collection of motion planning projects in Python 3 and YAML

neuralmooremachine_experiments

A docker environment and notebooks to experiment with the extraction of moore machines from RNN RL policies

nlp-physicssolver

This is a Matlab project that does some basic NLP and symbolic math to solve particle kinematics problems.

objectdetection

Serves as the hub for code related to software feasibility analysis for PDR

pagerank_algorithm-csr

A C++ implementation of the PageRank Algorithm using a hand-built CSR matrix data structure.

pfacc

Probabilistic Formal Autonomous Car Control

resume_template

The base resume template I work with, based on thisisshi's template: