{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"neuralsat","owner":"dynaroars","isFork":false,"description":"DPLL(T)-based Verification tool for DNNs","allTopics":["abstraction","sat-solver","software-verification","ai-safety","robustness","dpll","adversarial-attacks","robustness-verification","dnn-verification","ai-assurance","neural-network-veri"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":3,"starsCount":12,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-16T16:49:08.801Z"}},{"type":"Public","name":"dynaroars.github.io","owner":"dynaroars","isFork":false,"description":"Dynaroars Website","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":65,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-13T05:17:21.565Z"}},{"type":"Public","name":"dig","owner":"dynaroars","isFork":false,"description":"DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.","allTopics":["machine-learning","symbolic-execution","dynamic-analysis","program-verification","loop-invariants","invariant-generation","specification-mining","neural-network-verification"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":5,"starsCount":39,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-17T14:01:45.608Z"}},{"type":"Public","name":"symbolic-execution-analysis","owner":"dynaroars","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T07:35:39.423Z"}},{"type":"Public","name":"vnncomp-benchmark-generation","owner":"dynaroars","isFork":false,"description":"","allTopics":["benchmark","verification","ai-safety","ai-assurance","vnncomp"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-12T05:25:56.097Z"}},{"type":"Public","name":"dynaplex","owner":"dynaroars","isFork":false,"description":"A tool for inferring program complexity, e.g., O(nlogn), O(n^2), O(2^n). Dynaplex uses dynamic analysis to infer recurrence relations and then solve them for closed form solutions representing program complexity bounds. ","allTopics":["complexity","dynamic-analysis","invariant-generation"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":3,"starsCount":6,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-02T19:24:57.525Z"}},{"type":"Public","name":"neuralbench","owner":"dynaroars","isFork":false,"description":"Collections of neural networks and specifications","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-09T02:52:54.644Z"}},{"type":"Public","name":"maxclique","owner":"dynaroars","isFork":false,"description":"A parallel, ant-based algorithm for the Maximum Clique problem. ","allTopics":["openmp","max-clique","ant-colony-optimization","maxclique","maximum-clique","ant-system","npcomplete"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-03T01:50:18.771Z"}},{"type":"Public","name":"coloring","owner":"dynaroars","isFork":false,"description":"A fast algorithm for solving the Graph Coloring problem and its generalizations (Bandwidth Coloring, Multi Coloring, and Bandwidth Multi Coloring problems)","allTopics":["ant-colony-optimization","graph-coloring","3-coloring","ant-system","dimacs-format","npcomplete"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-02T20:43:54.667Z"}},{"type":"Public","name":".github","owner":"dynaroars","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-24T13:55:55.201Z"}},{"type":"Public archive","name":"neuralsat-solver","owner":"dynaroars","isFork":false,"description":"A DPLL(T) Framework for Verifying Deep Neural Networks","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-12T04:35:10.127Z"}},{"type":"Public","name":"symexe4dnn","owner":"dynaroars","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-11T00:21:03.726Z"}},{"type":"Public","name":"npbench","owner":"dynaroars","isFork":false,"description":"a collection of benchmarks (in DIMACS format) for various NP-Complete problems","allTopics":["np-hard","np-complete","benchmarks","dimacs"],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-19T14:57:22.718Z"}},{"type":"Public","name":"COOL-Language-Support","owner":"dynaroars","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-18T19:27:44.204Z"}},{"type":"Public","name":"PyExZ3","owner":"dynaroars","isFork":true,"description":"Python Exploration with Z3","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":49,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-03T19:08:43.790Z"}},{"type":"Public","name":"dynarorars.github.io","owner":"dynaroars","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-20T22:29:02.983Z"}},{"type":"Public","name":"COOL-Compiler-In-Py","owner":"dynaroars","isFork":false,"description":"Another COOL compiler impelmentation in Py","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-18T13:15:15.578Z"}},{"type":"Public","name":"vs.language.cmake","owner":"dynaroars","isFork":true,"description":"Syntax highlighting for Cmake in Visual Studio Code","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":52,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-30T16:28:28.224Z"}},{"type":"Public","name":"dnn-inv-inference","owner":"dynaroars","isFork":true,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-18T02:53:40.122Z"}},{"type":"Public","name":"numinv","owner":"dynaroars","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Roff","color":"#ecdebe"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-16T21:05:37.852Z"}},{"type":"Public","name":"ceti","owner":"dynaroars","isFork":false,"description":"CETI (Correcting Errors using Test-input) is an automatic program repair technique that uses test-input generation to repair C programs. The idea is to convert the buggy program/test suite specification into another program consisting of a location reachable iff the buggy program can be repair to pass the given test suite.","allTopics":["program-synthesis","symbolic-execution","program-repair","automatic-program-repair","ocaml"],"primaryLanguage":{"name":"SWIG","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-11T04:19:31.005Z"}},{"type":"Public","name":"gentree","owner":"dynaroars","isFork":false,"description":"GenTree: Using Decision Trees to Learn Interactions for Configurable Software (ICSE 21)","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-06T19:09:41.123Z"}},{"type":"Public","name":"gentree_docker","owner":"dynaroars","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-13T02:20:41.755Z"}},{"type":"Public","name":"igen","owner":"dynaroars","isFork":false,"description":" a dynamic analysis tool to find interactions among configuration options in highly-configurable software.","allTopics":["dynamic-analysis","code-coverage","software-testing","decision-tree","counterexample","configurable-software"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":4,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-17T00:48:36.948Z"}},{"type":"Public","name":"openscience","owner":"dynaroars","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-07T05:10:35.505Z"}},{"type":"Public","name":"software-analysis-book","owner":"dynaroars","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-21T16:48:34.447Z"}},{"type":"Public","name":"pfa","owner":"dynaroars","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-19T15:08:43.578Z"}},{"type":"Public","name":"ceti2","owner":"dynaroars","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-29T04:31:44.477Z"}}],"repositoryCount":28,"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":"dynaroars repositories"}