{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"uclid","owner":"uclid-org","isFork":false,"description":"UCLID5: formal modeling, verification, and synthesis of computational systems","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":4,"issueCount":21,"starsCount":136,"forksCount":32,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T18:02:27.665Z"}},{"type":"Public","name":"uclid5-language-vscode","owner":"uclid-org","isFork":false,"description":"uclid5 language support for vscode","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-09T22:03:58.192Z"}},{"type":"Public","name":"algaroba","owner":"uclid-org","isFork":true,"description":"An eager SMT solver for Algebraic Data Types (ADTs)","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T21:49:26.041Z"}},{"type":"Public","name":"uclid-api","owner":"uclid-org","isFork":false,"description":"Python API for UCLID5","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-21T17:53:31.082Z"}},{"type":"Public","name":"upverifier","owner":"uclid-org","isFork":false,"description":"Unbounded Verification of P(-like) Programs","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-07T19:45:15.819Z"}},{"type":"Public","name":"riscverifier","owner":"uclid-org","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":3,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-15T23:06:09.737Z"}},{"type":"Public","name":"uclid5-ssft22","owner":"uclid-org","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-17T01:16:32.800Z"}},{"type":"Public","name":"rtl2model","owner":"uclid-org","isFork":false,"description":"a compositional framework for hardware lifting","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-25T23:56:25.895Z"}},{"type":"Public","name":"tool_paper_artifact","owner":"uclid-org","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-24T12:38:52.272Z"}},{"type":"Public","name":"uclid-riscv","owner":"uclid-org","isFork":false,"description":"Architectural models for RISC-V assembly","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-10T08:57:04.942Z"}},{"type":"Public","name":"trusted-abstract-platform","owner":"uclid-org","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-13T01:00:43.294Z"}},{"type":"Public","name":"chiselucl","owner":"uclid-org","isFork":false,"description":"ChiselUCL: Utilities for generating UCLID5 models from Chisel and FIRRTL descriptions","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":2,"issueCount":1,"starsCount":6,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-27T18:55:20.306Z"}},{"type":"Public","name":"medley-solver","owner":"uclid-org","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-15T16:58:21.900Z"}}],"repositoryCount":13,"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":"uclid-org repositories"}