PrototypeCommon
HarvardPL/formulog
Datalog with support for SMT queries and first-order functional programming
- Owner
- HarvardPL (organization)
- Stars
- Stars: 181
- Forks
- Forks: 11
- Language
- Java
- License
- Apache-2.0
- Created
- 2019
- Topics
- dataloglogic-programmingsmtstatic-analysissymbolic-execution
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by HarvardPL
All 2 repos by HarvardPL- HarvardPL/shillStars: 113CPrototype
Nearby in Java
All Java repos- exception-coder/npe_get_jobsStars: 181JavaPrototype
- aerium-browser/aerium-browser-coreStars: 181JavaPrototype
- GitMag/UnknownAutoStars: 181JavaPrototype
- yusuke/samuraiStars: 181JavaPrototype
- ttrelle/spring-data-examplesStars: 181JavaPrototype
- dodola/PathButtonStars: 181JavaPrototype