PrototypeCommune
HarvardPL/formulog
Datalog with support for SMT queries and first-order functional programming
- Propriétaire
- HarvardPL (organisation)
- Étoiles
- Étoiles : 181
- Forks
- Forks : 11
- Langage
- Java
- Licence
- Apache-2.0
- Création
- 2019
- Sujets
- dataloglogic-programmingsmtstatic-analysissymbolic-execution
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de HarvardPL
Les 2 dépôts de HarvardPL- HarvardPL/shillÉtoiles : 113CPrototype
D’autres dépôts Java
Tous les dépôts Java- exception-coder/npe_get_jobsÉtoiles : 181JavaPrototype
- BuSung-dev/SpoofMyDeviceÉtoiles : 181JavaPrototype
- zhayinggang/ktv-homeÉtoiles : 181JavaPrototype
- yusuke/samuraiÉtoiles : 181JavaPrototype
- ttrelle/spring-data-examplesÉtoiles : 181JavaPrototype
- dodola/PathButtonÉtoiles : 181JavaPrototype