Central repository for tools, tutorials, resources, and documentation for robotics simulation in Unity.
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
- csharp
- algebra
- integration
- latex
R Weekly
🔬 A repository of resources related to citizen, community-based and/or non-institutional science
- citizen-science
- science
- lab-equipment
- scientific
Box2D.NET - a C# port of Box2D, is a 2D physics engine for games, .NET, Unity3D, servers
- 2d
- 2d-game
- box2d
- csharp
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation