We write specifications for Computer Architectures and Programming Languages.
Organization for Standardization of Computer Architectures and Programming Languages
We write formal specifications for Computer Architectures and Programming Languages
Pinned Loading
Repositories
Showing 3 of 3 repositories
- .github Public
OSCAPL/.github’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…