Repository Index

An axiom-free formalization of category theory in Coq for personal study and practical work

• category-theory
• coq
• monad
• profunctor

Iterative Linear Quadratic Regulator with auto-differentiatiable dynamics models

• trajectory-optimization
• differential-dynamic-programming
• theano
• dynamics-models

A library designed to ease geographic coordinate format conversions, and determine sun/moon information in C#

• moon
• coordinates
• longitude
• latitude