Pinned Loading

1. coq-ski coq-ski Public

   Coq Library for SKI Combinatory Logic

   Coq 8

2. motor_sim motor_sim Public

   BLDC and PMSM Motor Simulation

   C++ 67 17

3. aces.io aces.io Public

   Poker website

   JavaScript 2

4. g3 g3 Public

   A library for the Geometric Algebra of the Vector Space R^3

   C++ 4

5. pytagmapper pytagmapper Public

   Python Mapping library for Fiducial Tags

   Python 19 2

6. vapid-soa vapid-soa Public

   A header only structure of arrays container for C++

   C++ 38 5