Search results

feat(gds-control): backward reachable set computation

enhancementNew feature or requestNew feature or request

Status: Open.

#127 In BlockScience/gds-core;

· rororowyourboat opened on Mar 5, 2026

feat(gds-viz): dynamical systems visualization (phase portraits, trajectories)

enhancementNew feature or requestNew feature or request

Status: Open.

#126 In BlockScience/gds-core;

· rororowyourboat opened on Mar 5, 2026

feat: symbolic math integration (SymPy)

enhancementNew feature or requestNew feature or request

Status: Open.

#125 In BlockScience/gds-core;

· rororowyourboat opened on Mar 5, 2026

feat: optimal control / Hamiltonian mechanics layer

enhancementNew feature or requestNew feature or request

Status: Open.

#124 In BlockScience/gds-core;

· rororowyourboat opened on Mar 5, 2026

feat(gds-games): continuous-time differential game support

enhancementNew feature or requestNew feature or request

Status: Open.

#123 In BlockScience/gds-core;

· rororowyourboat opened on Mar 5, 2026

feat(gds-sim): continuous-time ODE integration support

enhancementNew feature or requestNew feature or request

Status: Open.

#122 In BlockScience/gds-core;

· rororowyourboat opened on Mar 5, 2026

feat(gds-games): integrate Nashpy/pygambit for equilibrium computation

enhancementNew feature or requestNew feature or request

Status: Open.

#77 In BlockScience/gds-core;

· rororowyourboat opened on Mar 3, 2026

Lean 4 export: GDS architecture is naturally suited for theorem prover formalization

enhancementNew feature or requestNew feature or request

Status: Open.

#76 In BlockScience/gds-core;

· rororowyourboat opened on Mar 3, 2026