GaloisInc/language-sal
SAL Model Generator
Public GitHub Catalog
Discovered Oct 5, 2026
GaloisInc / Mobius
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#29709833GitHub System ID
GaloisIncOrganization / User
PublicVisibility
ActiveCatalog Status
More from GaloisInc
GaloisInc/websockets-snap
Snap integration for the websockets library
GaloisInc/Simplify
An automated solver for unsorted first-order logic over the AUFLIA theory.
GaloisInc/ESCJava2
The Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find common run-time errors in JML-annotated Java programs by static analysis of the program code and its formal annotations.