{"payload":{"pageCount":17,"repositories":[{"type":"Public","name":"cryptol","owner":"GaloisInc","isFork":false,"description":"Cryptol: The Language of Cryptography","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":12,"issueCount":221,"starsCount":1116,"forksCount":118,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":[1,3,19,8,17,13,0,6,5,12,0,24,8,0,0,0,0,1,4,0,2,5,0,0,0,1,4,0,0,0,8,1,10,29,28,4,4,4,1,2,2,3,5,2,1,0,0,0,0,14,5,13],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T20:53:55.092Z"}},{"type":"Public","name":"pono","owner":"GaloisInc","isFork":true,"description":"Pono: A flexible and extensible SMT-based model checker","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":32,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T17:49:42.586Z"}},{"type":"Public","name":"pate","owner":"GaloisInc","isFork":false,"description":"Patches Assured up to Trace Equivalence","allTopics":["arm","static-analysis","verification","binary-analysis","powerpc","compositional-verification"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":3,"issueCount":13,"starsCount":15,"forksCount":2,"license":"Other","participation":[2,0,0,5,0,8,0,9,0,0,0,0,0,0,0,0,1,0,10,1,0,6,15,25,0,1,18,5,10,0,0,11,1,6,12,17,21,33,56,22,12,8,13,3,12,12,10,6,14,5,2,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T16:28:06.212Z"}},{"type":"Public","name":"what4","owner":"GaloisInc","isFork":false,"description":"Symbolic formula representation and solver interaction library","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":37,"starsCount":147,"forksCount":12,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T16:08:08.874Z"}},{"type":"Public","name":"yapall","owner":"GaloisInc","isFork":false,"description":"A precise and scalable pointer analysis for LLVM, written in Ascent","allTopics":["llvm","static-analysis","datalog","program-analysis","pointer-analysis"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":10,"issueCount":14,"starsCount":50,"forksCount":3,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":[0,0,0,0,0,0,0,0,21,1,0,0,27,0,3,1,1,11,0,0,0,6,1,0,0,7,0,0,0,0,0,0,0,0,0,0,0,0,0,11,0,0,0,2,0,0,0,2,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-01T15:37:33.124Z"}},{"type":"Public","name":"LLVM-MCA-Daemon","owner":"GaloisInc","isFork":true,"description":"MCAD tweaks for integration into PATE Binja Plugin","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-30T19:38:11.397Z"}},{"type":"Public","name":"cn-tutorial","owner":"GaloisInc","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-30T17:13:11.416Z"}},{"type":"Public","name":"HARDENS","owner":"GaloisInc","isFork":false,"description":"Repository for the HARDENS project ","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":1,"issueCount":24,"starsCount":15,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T22:14:46.809Z"}},{"type":"Public","name":"cryptol-specs","owner":"GaloisInc","isFork":false,"description":"A central repository for specifications of cryptographic algorithms in Cryptol","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":4,"issueCount":29,"starsCount":26,"forksCount":5,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-28T15:40:00.085Z"}},{"type":"Public","name":"swanky","owner":"GaloisInc","isFork":false,"description":"A suite of rust libraries for secure multi-party computation","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","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":16547,"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","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1843,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T17:37:03.365Z"}},{"type":"Public","name":"crucible","owner":"GaloisInc","isFork":false,"description":"Crucible is a library for symbolic simulation of imperative programs","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":6,"issueCount":159,"starsCount":600,"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.","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.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":22,"issueCount":400,"starsCount":432,"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":"","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","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.","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","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","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","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","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":"reopt","owner":"GaloisInc","isFork":false,"description":"A tool for analyzing x86-64 binaries.","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":"argo","owner":"GaloisInc","isFork":false,"description":"A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW","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","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":"","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T18:24:21.148Z"}},{"type":"Public","name":"libBF-hs","owner":"GaloisInc","isFork":false,"description":"Haskell bindings to libBF","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.","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":"","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.","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"}}],"repositoryCount":492,"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"}