{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"cs152-lecture-code","owner":"HarvardPL","isFork":false,"description":"Code from CS152 lectures","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-02T23:05:36.128Z"}},{"type":"Public","name":"AbcDatalog","owner":"HarvardPL","isFork":false,"description":"Datalog that's as easy as ABC.","allTopics":["rule-engine","datalog","logic-programming","knowledge-base","declarative-programming"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":44,"forksCount":8,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-12T04:25:58.664Z"}},{"type":"Public","name":"ASPSynth-Clingo","owner":"HarvardPL","isFork":false,"description":"Tool for Datalog synthesis-as-rule-selection that uses answer set programming (ASP)","allTopics":[],"primaryLanguage":{"name":"CMake","color":"#DA3434"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-29T08:10:06.214Z"}},{"type":"Public","name":"formulog","owner":"HarvardPL","isFork":false,"description":"Datalog with support for SMT queries and first-order functional programming","allTopics":["static-analysis","symbolic-execution","datalog","logic-programming","smt"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":9,"starsCount":144,"forksCount":8,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-15T22:50:11.444Z"}},{"type":"Public","name":"formulog-syntax","owner":"HarvardPL","isFork":false,"description":"TextMate grammar file for Formulog used in VS Code","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-10T04:37:11.663Z"}},{"type":"Public","name":"dminor-in-formulog","owner":"HarvardPL","isFork":false,"description":"A Formulog-based implementation of a type checker for Dminor, as well as a tool for turning a Dminor program into a database of Formulog facts.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-17T20:07:21.757Z"}},{"type":"Public","name":"datalog-synth-smt-asp-artifact","owner":"HarvardPL","isFork":false,"description":"Artifact for the paper \"From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems\"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-05T23:53:57.459Z"}},{"type":"Public","name":"Co-InflowPrototype","owner":"HarvardPL","isFork":false,"description":"Evaluation of Co-Inflow using IFSpec benchmark","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-02T11:41:17.967Z"}},{"type":"Public","name":"CIFC","owner":"HarvardPL","isFork":false,"description":"Coarse-grained information flow control for Java","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-01T11:42:29.058Z"}},{"type":"Public","name":"dflamio","owner":"HarvardPL","isFork":false,"description":"DFLAMIO paper writing","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-15T22:41:47.167Z"}},{"type":"Public","name":"shill","owner":"HarvardPL","isFork":false,"description":"Scripting with Least Privilege","allTopics":["security","sandbox","scripting-language"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":106,"forksCount":2,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-06-01T17:28:53.595Z"}},{"type":"Public","name":"accrue-bytecode","owner":"HarvardPL","isFork":false,"description":"Interprocedural Java byte code analysis framework together with several analyses. Notably includes a multi-threaded points-to analysis (flow-sensitive and flow-insensitive) and a PDG construction analysis.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-10T03:44:36.154Z"}},{"type":"Public","name":"WALA-multithread-pointer","owner":"HarvardPL","isFork":true,"description":"T.J. Watson Libraries for Analysis","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":220,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-05T05:28:26.342Z"}},{"type":"Public","name":"cryptoerase","owner":"HarvardPL","isFork":false,"description":"Prototype compiler for cryptographic enforcement of language-based information erasure","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-06-25T16:42:41.140Z"}},{"type":"Public","name":"ShillBSD","owner":"HarvardPL","isFork":false,"description":"FreeBSD with the necessary patches to run Shill","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-10-04T03:15:54.797Z"}}],"repositoryCount":15,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}