nicholasrenninger Goto Github PK
Name: Nicholas Renninger
Type: User
Bio: Engineering the best powerpoints around
Name: Nicholas Renninger
Type: User
Bio: Engineering the best powerpoints around
An updated repository with all of the code written to analyze data, model physical systems, and simulate physical phenomena in MATLAB for aerospace labs.
Decision-making Under Uncertainty Final Project Paper.
Implementation of the A* / Dijkstra search algorithms, a Probabilistic Roadmap (PRM) Planner with path smoothing, and a statistical benchmarking suite
LTL to Control Synthesis (using formal methods concepts) Framework for a Basic Highway Driving Scenario
[Blender Addon] Outliner Extend Keys
Implementation of Bug Algorithms and Basic Forwards / Inverse Kinematics Equations.
A sandbox for personal experiments with the carFollowingRTI repository
C program that implements basic arithmetic operations using only basic bit level operations.
A basic shell program written in C for Linux.
Implementation of a 2-D 2DoF manipulator configuration space visualizer, as well as implementations of a gradient descent and wavefront planner for this manipulator.
Materials for the CU graduate course on deep learning.
*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.
Repository of "Deep Specification Mining" project
A docker environment and notebooks to experiment with Generative Adversarial Imitation Learning and Formal Methods
A collection of useful .gitignore templates
Library and Utilities for working with ifm pmd-based 3D ToF Cameras
Example programs which utilize the ifm3d library
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 SAT Solver
A Monokai theme for Sublime Text providing both colored and text-style preview for Markdown editing.
A collection of motion planning projects in Python 3 and YAML
A docker environment and notebooks to experiment with the extraction of moore machines from RNN RL policies
This is a Matlab project that does some basic NLP and symbolic math to solve particle kinematics problems.
Serves as the hub for code related to software feasibility analysis for PDR
A C++ implementation of the PageRank Algorithm using a hand-built CSR matrix data structure.
Probabilistic Formal Autonomous Car Control
The base resume template I work with, based on thisisshi's template:
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.