{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"remeddos","owner":"imdea-software","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T18:18:35.043Z"}},{"type":"Public","name":"hlola","owner":"imdea-software","isFork":false,"description":"A Runtime Verification Engine","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":null,"participation":[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,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-05-31T17:38:33.428Z"}},{"type":"Public","name":"htt","owner":"imdea-software","isFork":false,"description":"Hoare Type Theory ","allTopics":["linked-list","type-system","hoare-logic","hoare-monads","separation-logic","coq"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":1,"starsCount":66,"forksCount":5,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T17:34:04.562Z"}},{"type":"Public","name":"fcsl-pcm","owner":"imdea-software","isFork":false,"description":"Partial Commutative Monoids","allTopics":["coq","concurrency","separation-logic","coq-library","partial-commutative-monoid"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":2,"starsCount":25,"forksCount":10,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T17:03:02.296Z"}},{"type":"Public","name":"swiftpaxos","owner":"imdea-software","isFork":false,"description":"Prototype implementation of SwiftPaxos (NSDI 2024)","allTopics":["distributed-systems","key-value-store","state-machine-replication","concensus"],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-19T14:23:37.430Z"}},{"type":"Public","name":"MSCProof","owner":"imdea-software","isFork":false,"description":"Implementation of the paper \"Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing\"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":0,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,2,1,1,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-08T11:00:05.445Z"}},{"type":"Public","name":"setchain-basic","owner":"imdea-software","isFork":false,"description":" A Byzantine-fault tolerant distributed grow-only set equipped with synchronization barriers.","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[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,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-03T09:29:36.355Z"}},{"type":"Public","name":"lunar","owner":"imdea-software","isFork":false,"description":"A Rust library for the Lunar universal zkSNARK","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-06T13:33:49.708Z"}},{"type":"Public","name":"rem-alm","owner":"imdea-software","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-18T12:20:39.063Z"}},{"type":"Public","name":"McLola","owner":"imdea-software","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-30T14:50:01.986Z"}},{"type":"Public","name":"rust-playground","owner":"imdea-software","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-14T15:02:38.350Z"}},{"type":"Public","name":"HStriver","owner":"imdea-software","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-04T17:13:38.625Z"}},{"type":"Public","name":"swot","owner":"imdea-software","isFork":true,"description":"Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.","allTopics":[],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":19116,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-20T07:13:19.273Z"}},{"type":"Public","name":"legosnark","owner":"imdea-software","isFork":false,"description":"C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":37,"forksCount":6,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-08T20:35:29.069Z"}},{"type":"Public","name":"hs-to-ciao","owner":"imdea-software","isFork":false,"description":"Source-to-source Haskell into Ciao Prolog for automatic resource analysis.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-29T11:00:22.946Z"}},{"type":"Public","name":"atomic-multicast","owner":"imdea-software","isFork":false,"description":"White-box genuine atomic multicast, mirror from","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-09T08:34:54.007Z"}},{"type":"Public","name":"striver","owner":"imdea-software","isFork":false,"description":"The runtime verification infrastructure for the past fragment and the fully fledged version of Striver","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-21T13:29:08.977Z"}},{"type":"Public","name":"striver-full","owner":"imdea-software","isFork":false,"description":"The runtime verification infrastructure for the fully fledged version of Striver","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-21T13:27:27.218Z"}},{"type":"Public","name":"dLola","owner":"imdea-software","isFork":false,"description":"Decentralized Stream Runtime Verification","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-11T12:03:56.771Z"}},{"type":"Public","name":"a3e","owner":"imdea-software","isFork":true,"description":"A fork of <a href=\"https://github.com/tanzirul/a3e\">https://github.com/tanzirul/a3e</a> (Automatic Android App Explorer)","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":22,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-10T15:45:03.404Z"}},{"type":"Public","name":"dynodroid","owner":"imdea-software","isFork":true,"description":"A fork of <a href=\"https://github.com/dynodroid/dynodroid\">https://github.com/dynodroid/dynodroid</a> (Automatic Input Generation System for Android Apps)","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-31T03:03:56.223Z"}},{"type":"Public","name":"apkmonk-scraper","owner":"imdea-software","isFork":false,"description":"Python script to download all apk releases from apkmonk.com","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-23T14:28:08.340Z"}},{"type":"Public","name":"droidmate","owner":"imdea-software","isFork":true,"description":"A fork of <a href=\"https://github.com/uds-se/droidmate\">https://github.com/uds-se/droidmate</a> (Automated GUI execution generator for Android apps)","allTopics":[],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":26,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-28T18:14:06.400Z"}},{"type":"Public","name":"GUIRipper","owner":"imdea-software","isFork":false,"description":"A fork of GUIRipper v1.1 (<a href=\"http://wpage.unina.it/ptramont/GUIRipperConfigurable_Java7.htm\" rel=\"nofollow\">http://wpage.unina.it/ptramont/GUIRipperConfigurable_Java7.htm</a>)","allTopics":[],"primaryLanguage":{"name":"Smali","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-26T17:07:55.192Z"}},{"type":"Public","name":"SwiftHand","owner":"imdea-software","isFork":true,"description":"A fork of <a href=\"https://github.com/wtchoi/SwiftHand\">https://github.com/wtchoi/SwiftHand</a> (Automated Testing Tool for Android Applications)","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":27,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-25T07:24:25.429Z"}},{"type":"Public","name":"PUMA","owner":"imdea-software","isFork":true,"description":"A fork of <a href=\"https://github.com/USC-NSL/PUMA\">https://github.com/USC-NSL/PUMA</a> (Programmable UI-Automation Framework for Dynamic App Analysis)","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":22,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-24T16:50:21.196Z"}},{"type":"Public","name":"sapienz","owner":"imdea-software","isFork":true,"description":"A fork of Prototype of <a href=\"https://github.com/Rhapsod/sapienz\">https://github.com/Rhapsod/sapienz</a> (the original project is Out-of-date and no longer supported)","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":49,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-24T16:44:00.582Z"}},{"type":"Public","name":"striver-past","owner":"imdea-software","isFork":false,"description":"The runtime verification infrastructure for the past fragment of Striver","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-07T10:35:45.667Z"}},{"type":"Public","name":"androcov","owner":"imdea-software","isFork":true,"description":"Measure test coverage without source code.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-15T15:50:59.864Z"}},{"type":"Public","name":"AndroidRipper","owner":"imdea-software","isFork":true,"description":"A toolset for the automatic GUI testing of mobile Android Applications.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":21,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-28T15:44:15.908Z"}}],"repositoryCount":47,"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"}