GaloisInc/Simplify
An automated solver for unsorted first-order logic over the AUFLIA theory.
Public GitHub Catalog
Discovered Oct 5, 2026
GaloisInc / GF-Java-API
A Java API to the Grammatical Framework (http://www.grammaticalframework.org/)
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.
#29546651GitHub System ID
GaloisIncOrganization / User
PublicVisibility
ActiveCatalog Status
More from GaloisInc
GaloisInc/Mobius
Public repository.
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.
GaloisInc/RCC
A Race Condition Checker for Java