Skip to content
#

algorithmic-engineering

Star

Here are 2 public repositories matching this topic...

AEjonanonymous / Compressed-Manifold-Reachability

Star 1

A Formally Proven Polynomial-Scaling Safety Algorithm for High-Dimensional Robotic Systems (d ≥ 6).

algorithms robotics high-dimensional-data systemverilog formal-verification comparator control-theory robotics-control obstacle-avoidance autonomous-systems mathlib curse-of-dimensionality-solution tensor-decomposition-algorithms lean4 hamilton-jacobi-reachability max-plus-algebra algorithmic-engineering ai-augmented-research lax-friedrich-subspace-solvers polynomial-complexity-scaling
  • Updated Sep 15, 2026
  • Lean

api-evangelist / hyperganic

Star 0

Hyperganic — independent third-party profile of a public API surface, by API Evangelist. Hyperganic is a Munich- and Singapore-based deep-tech software company building algorithmic engineering technology for additive manufacturing (3D printing). Its flagship product, HyDesign, is a browser-based application for creating, customizing, and optimizing

company simulation 3d-printing computational-design generative-design additive-manufacturing apis-json deep-tech algorithmic-engineering
  • Updated Sep 19, 2026

Add this topic to your repo

To associate your repository with the algorithmic-engineering topic, visit your repo's landing page and select "manage topics."

Learn more