Pinned Loading

1. paper-formal-alignment paper-formal-alignment Public

   Formalizations drift: a hypothesis gets added, a definition gets weakened, a conclusion gets narrowed. If the paper and its formalization disagree, reading either one is wasted effort.

   Python

2. flying_pancakes flying_pancakes Public

   A comprehensive mathematical model for simulating the flight dynamics of a disc in a disc golf game. The model incorporates various physical forces and factors including projectile motion, aerodyna…

   Python 4

3. LindenmayerSystem LindenmayerSystem Public

   A simple C++ plugin for Unreal Engine 4 containing everything needed to play with Lindenmayer Systems. Plugin was built and tested with 4.13.0 -- Relevant forum thread here.

   C++ 40 12

4. MachinaPlays MachinaPlays Public

   An Unreal Engine 4 Machine Learning Project. The default project is a ANN classifying poker hands. Although, there might be future machine learning things.

   C++ 66 17

5. axiomatik axiomatik Public

   Axiomatik is a comprehensive runtime verification system that brings formal verification concepts to practical Python programming. It provides proof-based assertions, contracts, invariants, and adv…

   Python

6. MachineLearning MachineLearning Public

   C++ 3 1