-
JAI
- São Paulo/SP - BR
- https://www.getjai.com
- https://orcid.org/0009-0000-4863-9143
- @josaum
Highlights
- Pro
Pinned Loading
-
-
leio-code
leio-code PublicGive your coding agent a map: local repository context, code graphs, stateful navigation and JSON-LD evidence through 18 stdio MCP tools.
Rust
-
sedenion-pg32
sedenion-pg32 PublicSedenion PG(3,2) Neural Topologies: Constructive Zero-Divisor Attention, Lean 4 Formalization, Track A (Yang-Mills BCJ) & Track B (Deontic Logic)
TeX 1
-
Sounio-lang/sounio
Sounio-lang/sounio PublicAn epistemic systems language for scientific computing — uncertainty, units and effects, with a self-hosted compiler and libraries spanning physics, pharmacology and quantum computing.
-
mirabilis-tether
mirabilis-tether PublicMirabilis Abbreviatio: Formally verified macOS Personal Hotspot & WAN Optimizer governed by Pontryagin's Maximum Principle, Taleb InvGamma(n, nα) fat-tail shadow pricing, RFC 792 One-Way Delay quor…
Lean
If the problem persists, check the GitHub status page or contact support.



