Haladir
Building Operational Superintelligence
- 4 followers
- United States of America
- http://haladir.com
- company/haladir
- @Haladirofficial
- founders@haladir.com
Popular repositories Loading
-
Specula
Specula Public archiveForked from specula-org/Specula
Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code
TLA
Repositories
Showing 1 of 1 repositories
- Specula Public archive Forked from specula-org/Specula
Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code
haladir-com/Specula’s past year of commit activity
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…