Metalogic Labs
Popular repositories Loading
-
mathgraph-lean-kernel
mathgraph-lean-kernel PublicForked from intgrah/sokonanoda
MathGraph Lean Kernel
-
Stockfish
Stockfish PublicForked from official-stockfish/Stockfish
A free and strong UCI chess engine
C++
-
go-ethereum
go-ethereum PublicForked from ethereum/go-ethereum
Go implementation of the Ethereum protocol
Go
-
L4YAML
L4YAML PublicForked from nasa-jpl/L4YAML
A YAML 1.2.2 parser in Lean 4 with the goal of **verified correctness**
Lean
Repositories
- L4YAML Public Forked from nasa-jpl/L4YAML
A YAML 1.2.2 parser in Lean 4 with the goal of **verified correctness**
- aaronson-ambainis Public Forked from physical-superintelligence/aaronson-ambainis
A proof of the Aaronson-Ambainis conjecture
- AdaptiveDDTO Public Forked from bucknercsamuel/AdaptiveDDTO
Repository for research in Adaptive Deferred-Decision Trajectory Optimization.
- Ziren Public Forked from ProjectZKM/Ziren
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
- nyx Public Forked from nyx-space/nyx
Nyx is a high fidelity, fast, reliable and validated astrodynamics toolkit library written in Rust and available in Python
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…