Harvard Programming Languages Research

icon indicating an email [email protected],[email protected]

icon location The repo of the Harvard PL research group

Results 3 repositories owned by Harvard Programming Languages Research

shill

106
Stars
2
Forks
Watchers

Scripting with Least Privilege

verified publisher icon HarvardPL

AbcDatalog

44
Stars
8
Forks
Watchers

Datalog that's as easy as ABC.

verified publisher icon HarvardPL

formulog

144
Stars
8
Forks
Watchers

Datalog with support for SMT queries and first-order functional programming

verified publisher icon HarvardPL