Skip to content
CrossGLSign in

Portable graphics · Verifiable intelligence · Applied research

Pushing the boundaries of infrastructure!

We build compilers and evidence systems for technical work that must survive translation.

Our thesis

02The invariant

Shaders cross languages and hardware. Claims cross documents and decisions. CrossGL keeps meaning, provenance, and constraints intact as information moves.

01Source02Transform03Verify

03CrossTL / Shader translation

CrossTL

CrossTL translates shader and compute code through a universal intermediate representation, preserving layouts, semantics, and execution intent across graphics and compute targets.

  • 12 backends
  • 7 shader stages
  • Apache-2.0
Explore CrossTL

04Credora / Evidence-led review

Credora

Credora extracts fields, checks consistency, and maps findings to source pages so reviewers can inspect evidence and keep decisions human-led.

  • Field extraction
  • Evidence-mapped findings
  • Annotated PDF
Explore Credora

05CrossGL Labs

CrossGL Labs helps technical teams frame questions, review experiments and implementation, and package reproducible work for publication.

Work with CrossGL Labs

06Put it to work

Translate across twelve backends with CrossTL, or turn a PDF into an evidence-mapped review with Credora.

Start with CrossTL Review a document