{"payload":{"pageCount":17,"repositories":[{"type":"Public","name":"swanky","owner":"GaloisInc","isFork":false,"description":"A suite of rust libraries for secure multi-party computation","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":9,"starsCount":247,"forksCount":54,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T21:20:30.243Z"}},{"type":"Public","name":"ardupilot","owner":"GaloisInc","isFork":true,"description":"Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":16491,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T17:38:58.000Z"}},{"type":"Public","name":"mavlink","owner":"GaloisInc","isFork":true,"description":"MAVLink micro air vehicle marshalling / communication library","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1839,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T17:37:03.365Z"}},{"type":"Public","name":"what4","owner":"GaloisInc","isFork":false,"description":"Symbolic formula representation and solver interaction library","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":37,"starsCount":147,"forksCount":12,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T15:47:59.746Z"}},{"type":"Public","name":"crucible","owner":"GaloisInc","isFork":false,"description":"Crucible is a library for symbolic simulation of imperative programs","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":6,"issueCount":159,"starsCount":598,"forksCount":41,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T15:40:15.219Z"}},{"type":"Public","name":"macaw","owner":"GaloisInc","isFork":false,"description":"Open source binary analysis tools.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":3,"issueCount":50,"starsCount":188,"forksCount":19,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T15:09:56.110Z"}},{"type":"Public","name":"saw-script","owner":"GaloisInc","isFork":false,"description":"The SAW scripting language.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":22,"issueCount":400,"starsCount":433,"forksCount":63,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T15:09:29.967Z"}},{"type":"Public","name":"cereal","owner":"GaloisInc","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":8,"issueCount":9,"starsCount":78,"forksCount":56,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T14:35:10.332Z"}},{"type":"Public","name":"flake_supervolo","owner":"GaloisInc","isFork":false,"description":"Nix flake for building SuperVolo","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Nix","color":"#7e7eff"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T03:53:50.283Z"}},{"type":"Public","name":"flakes","owner":"GaloisInc","isFork":false,"description":"Nix flakes maintained by Galois.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Nix","color":"#7e7eff"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T23:51:12.284Z"}},{"type":"Public","name":"flake_ardupilot","owner":"GaloisInc","isFork":false,"description":"Nix flake for building Ardupilot","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Nix","color":"#7e7eff"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T23:32:38.142Z"}},{"type":"Public","name":"llvm-pretty","owner":"GaloisInc","isFork":false,"description":"An llvm pretty printer inspired by the haskell llvm binding","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":24,"starsCount":26,"forksCount":13,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T21:12:28.969Z"}},{"type":"Public","name":"flake_uavcan","owner":"GaloisInc","isFork":false,"description":"Nix flake for building uavcan","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Nix","color":"#7e7eff"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T20:10:15.093Z"}},{"type":"Public","name":"flake_pydronecan","owner":"GaloisInc","isFork":false,"description":"Nix flake for building pydronecan","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Nix","color":"#7e7eff"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T18:19:26.371Z"}},{"type":"Public","name":"pate","owner":"GaloisInc","isFork":false,"description":"Patches Assured up to Trace Equivalence","topicNames":["arm","static-analysis","verification","binary-analysis","powerpc","compositional-verification"],"topicsNotShown":0,"allTopics":["arm","static-analysis","verification","binary-analysis","powerpc","compositional-verification"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":7,"issueCount":93,"starsCount":15,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T20:21:49.354Z"}},{"type":"Public","name":"reopt","owner":"GaloisInc","isFork":false,"description":"A tool for analyzing x86-64 binaries.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"LLVM","color":"#185619"},"pullRequestCount":6,"issueCount":16,"starsCount":294,"forksCount":26,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T18:36:09.625Z"}},{"type":"Public","name":"cryptol","owner":"GaloisInc","isFork":false,"description":"Cryptol: The Language of Cryptography","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":15,"issueCount":220,"starsCount":1116,"forksCount":118,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T15:25:21.609Z"}},{"type":"Public","name":"LLVM-MCA-Daemon","owner":"GaloisInc","isFork":true,"description":"MCAD tweaks for integration into PATE Binja Plugin","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T17:52:51.397Z"}},{"type":"Public","name":"argo","owner":"GaloisInc","isFork":false,"description":"A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":25,"starsCount":13,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T15:34:20.619Z"}},{"type":"Public","name":"llvm-pretty-bc-parser","owner":"GaloisInc","isFork":false,"description":"Parser for the llvm bitcode format","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"LLVM","color":"#185619"},"pullRequestCount":3,"issueCount":54,"starsCount":53,"forksCount":6,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T11:23:20.455Z"}},{"type":"Public","name":"simple-smt-ocaml","owner":"GaloisInc","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T18:24:21.148Z"}},{"type":"Public","name":"cryptol-specs","owner":"GaloisInc","isFork":false,"description":"A central repository for specifications of cryptographic algorithms in Cryptol","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":4,"issueCount":27,"starsCount":24,"forksCount":5,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T20:36:11.085Z"}},{"type":"Public","name":"libBF-hs","owner":"GaloisInc","isFork":false,"description":"Haskell bindings to libBF","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":1,"starsCount":4,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T15:05:44.960Z"}},{"type":"Public","name":"alex-tools","owner":"GaloisInc","isFork":false,"description":"A Haskell library making it easier to write Alex lexers.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":5,"license":"ISC License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-12T17:23:37.659Z"}},{"type":"Public","name":"entree-specs","owner":"GaloisInc","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":2,"starsCount":2,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T16:57:04.167Z"}},{"type":"Public","name":"copilot-1","owner":"GaloisInc","isFork":true,"description":"A stream-based runtime-verification framework for generating hard real-time C code.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":47,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-05T21:37:58.189Z"}},{"type":"Public","name":"curl","owner":"GaloisInc","isFork":false,"description":"A Haskell binding to the curl library","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":7,"issueCount":13,"starsCount":30,"forksCount":18,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-02T14:44:14.140Z"}},{"type":"Public","name":"yapall","owner":"GaloisInc","isFork":false,"description":"A precise and scalable pointer analysis for LLVM, written in Ascent","topicNames":["llvm","static-analysis","datalog","program-analysis","pointer-analysis"],"topicsNotShown":0,"allTopics":["llvm","static-analysis","datalog","program-analysis","pointer-analysis"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":6,"issueCount":14,"starsCount":50,"forksCount":3,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-01T18:17:08.186Z"}},{"type":"Public","name":"pono","owner":"GaloisInc","isFork":true,"description":"Pono: A flexible and extensible SMT-based model checker","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":32,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T19:50:32.086Z"}},{"type":"Public","name":"demangler","owner":"GaloisInc","isFork":false,"description":"Haskell library for (C++) symbol name demangling ","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-23T03:35:01.785Z"}}],"repositoryCount":491,"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"}