{"payload":{"pageCount":5,"repositories":[{"type":"Public","name":"trinity-packet","owner":"SRI-CSL","isFork":false,"description":"Code for model safeguards for packet-level DNN classifiers","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-19T20:46:52.882Z"}},{"type":"Public","name":"yices2","owner":"SRI-CSL","isFork":false,"description":"The Yices SMT Solver","allTopics":["satisfiability-modulo-theories","sat-solver","smt-solver","theorem-prover","satisfiability"],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":4,"issueCount":44,"starsCount":368,"forksCount":46,"license":"GNU General Public License v3.0","participation":[44,4,5,2,0,10,1,3,10,5,2,0,2,0,0,1,0,0,0,0,0,4,1,0,5,4,3,12,2,5,6,1,0,0,0,0,0,0,4,2,1,0,0,0,0,1,0,0,2,0,4,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-14T08:53:31.924Z"}},{"type":"Public","name":"radler","owner":"SRI-CSL","isFork":false,"description":"Radler","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":6,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T20:18:10.216Z"}},{"type":"Public","name":"PVS","owner":"SRI-CSL","isFork":false,"description":"The People's Verification System","allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":3,"issueCount":24,"starsCount":134,"forksCount":32,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T07:27:25.824Z"}},{"type":"Public","name":"yices2_ocaml_bindings","owner":"SRI-CSL","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":3,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-10T18:22:22.876Z"}},{"type":"Public","name":"fomoh","owner":"SRI-CSL","isFork":false,"description":"PyTorch-based library that implements nested forward AD and interfaces with PyTorch models.","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-26T14:34:02.229Z"}},{"type":"Public","name":"VCPublic","owner":"SRI-CSL","isFork":false,"description":"Place to share snapshots of maude models","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-16T15:39:40.923Z"}},{"type":"Public","name":"zk-gen","owner":"SRI-CSL","isFork":false,"description":"zk-gen: an OCaml platform for zero knowledge computations","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-06T16:02:43.693Z"}},{"type":"Public","name":"evocrypt","owner":"SRI-CSL","isFork":false,"description":"EVOCrypt: EasyCrypt Verified OCaml Cryptographic Library","allTopics":[],"primaryLanguage":{"name":"eC","color":"#913960"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-06T15:37:31.555Z"}},{"type":"Public","name":"wiztoolkit-ocaml-bindings","owner":"SRI-CSL","isFork":false,"description":"OCaml bindings for the Wiztoolkit toolset","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-02T20:25:24.064Z"}},{"type":"Public","name":"high-assurance-crypto","owner":"SRI-CSL","isFork":false,"description":"This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algorithms.","allTopics":[],"primaryLanguage":{"name":"eC","color":"#913960"},"pullRequestCount":1,"issueCount":0,"starsCount":10,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-02T17:45:19.153Z"}},{"type":"Public","name":"libpoly","owner":"SRI-CSL","isFork":false,"description":"LibPoly is a C library for manipulating polynomials","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":11,"starsCount":46,"forksCount":16,"license":"GNU Lesser General Public License v3.0","participation":[0,0,0,0,0,2,1,0,0,0,0,0,0,0,0,0,2,0,1,0,0,0,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-24T20:27:57.436Z"}},{"type":"Public","name":"homebrew-sri-csl","owner":"SRI-CSL","isFork":false,"description":"SRI International's Tap","allTopics":["homebrew","package-management"],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":1,"starsCount":7,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-24T08:32:09.776Z"}},{"type":"Public","name":"Trinity","owner":"SRI-CSL","isFork":false,"description":"Trinity AI for Improving Trustworthiness, Resilience and Interpretability of AI","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T21:37:18.583Z"}},{"type":"Public","name":"parsley-rust","owner":"SRI-CSL","isFork":false,"description":"Rust infrastructure for Parsley parsing","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v3.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T21:42:00.401Z"}},{"type":"Public","name":"gllvm","owner":"SRI-CSL","isFork":false,"description":"Whole Program LLVM: wllvm ported to go","allTopics":["compilers","bitcode","klee","llvm","clang","bitcode-files","bitcode-generation"],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":1,"issueCount":11,"starsCount":298,"forksCount":34,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-28T19:23:43.126Z"}},{"type":"Public","name":"Trinity_OOC","owner":"SRI-CSL","isFork":false,"description":"Out of Context detection, official dataset repo for the IJCAI paper: Detecting Out-Of-Context Objects Using Graph Contextual Reasoning Network","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-03T19:42:17.749Z"}},{"type":"Public","name":"arsenal-base","owner":"SRI-CSL","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":5,"issueCount":0,"starsCount":8,"forksCount":4,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,1,6,4,2,0,0,5,4,2,0,4,0,0,7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-29T16:36:58.078Z"}},{"type":"Public","name":"ndk","owner":"SRI-CSL","isFork":false,"description":"Neurogram Deconvolution Kit","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-16T18:38:45.859Z"}},{"type":"Public","name":"parsley-lang","owner":"SRI-CSL","isFork":false,"description":"Parsley format definition language","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-12T23:25:36.006Z"}},{"type":"Public","name":"libpoly_ocaml_bindings","owner":"SRI-CSL","isFork":false,"description":"OCaml bindings for libpoly","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v3.0","participation":[0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-09T02:55:39.214Z"}},{"type":"Public","name":"descert-example","owner":"SRI-CSL","isFork":false,"description":"a place where we can play with DesCert gradle plugins","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":1,"issueCount":2,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-07T21:58:49.543Z"}},{"type":"Public","name":"daikon-gradle-plugin","owner":"SRI-CSL","isFork":false,"description":"(experimental) daikon gradle plugin","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-07T20:50:25.674Z"}},{"type":"Public","name":"dnre","owner":"SRI-CSL","isFork":false,"description":"Code accompanying paper: Direct Amortized Likelihood Ratio Estimation","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-21T22:23:17.759Z"}},{"type":"Public","name":"coproof","owner":"SRI-CSL","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v2.0","participation":[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-23T16:30:36.744Z"}},{"type":"Public","name":"ENCODERS","owner":"SRI-CSL","isFork":false,"description":"ENCODERS (Edge Networking with Content-Oriented Declarative Enhanced Routing and Storage) is SRI’s content-based networking solution that provides network services and transport architectures required for efficient, transparent distribution of content in mobile ad hoc networks. ","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":12,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-20T06:22:12.830Z"}},{"type":"Public","name":"prism","owner":"SRI-CSL","isFork":false,"description":"PRISM is the stand-alone version of our SRI TA1 system developed under the DARPA RACE program during 2019-2023. This software was cleared by DARPA on September 18, 2023; Approved for Public Release, Distribution Unlimited (Distribution \"A\").","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-03T17:41:12.614Z"}},{"type":"Public","name":"augmented-metitarski","owner":"SRI-CSL","isFork":false,"description":"An Augmented MetiTarski Dataset for Real Quantifier Elimination using Machine Learning","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Creative Commons Attribution Share Alike 4.0 International","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-19T00:40:03.973Z"}},{"type":"Public","name":"solidity","owner":"SRI-CSL","isFork":true,"description":"This is solc-verify, a modular verifier for Solidity.","allTopics":["ethereum","solidity","formal-verification","formal-specification"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":45,"starsCount":50,"forksCount":5712,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-05T16:46:45.698Z"}},{"type":"Public","name":"cococrypt","owner":"SRI-CSL","isFork":false,"description":"EasyCrypt code extraction tool","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-30T19:28:07.843Z"}}],"repositoryCount":138,"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":"SRI-CSL repositories"}