Pinned Loading

1. godotengine/godot godotengine/godot Public

   Godot Engine – Multi-platform 2D and 3D game engine

   C++ 91.8k 21.3k

2. osrf/rmf_core osrf/rmf_core Public archive

   Provides the centralized functions of RMF: scheduling, etc.

   C++ 102 41

3. open-rmf/rmf_traffic_editor open-rmf/rmf_traffic_editor Public

   GUI, CLI, and ROS 2 messages for robot traffic flows in buildings

   C++ 141 67

4. osrf/rmf_demos osrf/rmf_demos Public archive

   Demos to showcase the capabilities of RMF

   C++ 69 38

5. G2 G2 Public

   Forked from BillHallahan/G2

   G2 performs lazy symbolic execution of Haskell programs to detect state reachability. It is capable of generating assertion failure counterexamples and solving for higher-order functions.

   Haskell

6. godot-deep-dive godot-deep-dive Public

   A Deep Dive Into the Godot Game Engine

   1