January 2026 cohort / Developer tools
LOGOS
OnlineProvides Rust crates for parsing English into logic, compiling and running programs, and checking proofs.
- Status
- Onlinesince Nov 5, 2026
- First launched
- Jan 17, 2026
- Category
- Developer tools
- Type
- Developer tool
- Pricing