Skip to content

Repository files navigation

orbital

An orbital simulator written using:

  • raylean - raylib bindings for Lean
  • lean-ecs - an Entity Component System for Lean

About

Orbital

Resources

Stars

0 stars

Watchers

1 watching

Forks

Releases

Packages

Used by

Contributors

Languages