{"payload":{"pageCount":5,"repositories":[{"type":"Public","name":"ds-test","owner":"dapphub","isFork":false,"description":"Assertions, equality checks and other test helpers","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":7,"issueCount":3,"starsCount":200,"forksCount":67,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-22T23:25:21.613Z"}},{"type":"Public","name":"dapptools","owner":"dapphub","isFork":false,"description":"Dapp, Seth, Hevm, and more","topicNames":["nix","tools","ethereum","dapp","evm","solc"],"topicsNotShown":0,"allTopics":["nix","tools","ethereum","dapp","evm","solc"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":26,"issueCount":144,"starsCount":2057,"forksCount":326,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-11T06:53:03.459Z"}},{"type":"Public","name":"ds-token","owner":"dapphub","isFork":false,"description":"A simple and sufficient ERC20 implementation","topicNames":["ethereum","solidity","erc20","dappsys"],"topicsNotShown":0,"allTopics":["ethereum","solidity","erc20","dappsys"],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":2,"issueCount":4,"starsCount":224,"forksCount":75,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-23T01:39:33.402Z"}},{"type":"Public","name":"dappsys-docs","owner":"dapphub","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-07T13:46:25.231Z"}},{"type":"Public","name":"ds-proxy","owner":"dapphub","isFork":false,"description":"a proxy object that can compose transactions on owner's behalf","topicNames":["ethereum","solidity","dappsys","proxy"],"topicsNotShown":0,"allTopics":["ethereum","solidity","dappsys","proxy"],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":4,"issueCount":2,"starsCount":308,"forksCount":74,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-05T11:18:35.625Z"}},{"type":"Public","name":"ds-chief","owner":"dapphub","isFork":false,"description":"approval voting to select who wears the hat by consensus","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":3,"issueCount":2,"starsCount":26,"forksCount":41,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-05T10:13:37.428Z"}},{"type":"Public","name":"dmap","owner":"dapphub","isFork":false,"description":"registry contract with no time to argue","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":1,"issueCount":10,"starsCount":58,"forksCount":15,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-05T15:31:19.465Z"}},{"type":"Public","name":"ds-auth","owner":"dapphub","isFork":false,"description":"Updatable, unobtrusive Solidity authorization pattern","topicNames":["ethereum","authorization","solidity","dappsys"],"topicsNotShown":0,"allTopics":["ethereum","authorization","solidity","dappsys"],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":3,"starsCount":137,"forksCount":37,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-28T01:57:30.460Z"}},{"type":"Public","name":"dpack","owner":"dapphub","isFork":false,"description":"simple lockfile for your dapp's addresses and artifacts","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":11,"starsCount":46,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-12T13:38:26.829Z"}},{"type":"Public","name":"awesome-dmap","owner":"dapphub","isFork":false,"description":"awesome dmap links","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-09T19:02:05.575Z"}},{"type":"Public","name":"ds-math","owner":"dapphub","isFork":false,"description":"Safe arithmetic","topicNames":["ethereum","arithmetic","solidity","dappsys"],"topicsNotShown":0,"allTopics":["ethereum","arithmetic","solidity","dappsys"],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":4,"issueCount":3,"starsCount":261,"forksCount":66,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-29T06:41:05.507Z"}},{"type":"Public","name":"locktopus","owner":"dapphub","isFork":false,"description":"sqlite file of locked values in the dmap","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-06T11:45:54.665Z"}},{"type":"Public","name":"dpath","owner":"dapphub","isFork":false,"description":"dpath syntax and semantics","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-27T04:14:15.131Z"}},{"type":"Public","name":"lockpack","owner":"dapphub","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-25T10:58:44.684Z"}},{"type":"Public","name":"dappsys","owner":"dapphub","isFork":false,"description":"Composable building blocks for Ethereum contracts","topicNames":["ethereum","solidity","dappsys"],"topicsNotShown":0,"allTopics":["ethereum","solidity","dappsys"],"primaryLanguage":{"name":"Nix","color":"#7e7eff"},"pullRequestCount":0,"issueCount":15,"starsCount":572,"forksCount":102,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-12T13:23:41.247Z"}},{"type":"Public","name":"ds-pause","owner":"dapphub","isFork":false,"description":"Schedule function calls that can only be executed once some delay has elapsed","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":2,"issueCount":0,"starsCount":26,"forksCount":26,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-04T17:58:17.960Z"}},{"type":"Public","name":"ds-value","owner":"dapphub","isFork":false,"description":"Set and get a value","topicNames":["ethereum","oracle","solidity","dappsys"],"topicsNotShown":0,"allTopics":["ethereum","oracle","solidity","dappsys"],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":1,"issueCount":0,"starsCount":14,"forksCount":21,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-24T11:23:07.006Z"}},{"type":"Public","name":"ds-note","owner":"dapphub","isFork":false,"description":"Log function calls as events","topicNames":["ethereum","logging","solidity","dappsys"],"topicsNotShown":0,"allTopics":["ethereum","logging","solidity","dappsys"],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":3,"issueCount":1,"starsCount":17,"forksCount":23,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-18T07:38:32.193Z"}},{"type":"Public","name":"ds-weth","owner":"dapphub","isFork":false,"description":"ETH->ERC20 with extra opinions","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":27,"forksCount":34,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-15T08:10:22.839Z"}},{"type":"Public","name":"k-dss","owner":"dapphub","isFork":false,"description":"formal verification of multicollateral dai in the K framework","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"GCC Machine Description","color":"#FFCFAB"},"pullRequestCount":3,"issueCount":5,"starsCount":45,"forksCount":23,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-10T17:14:55.024Z"}},{"type":"Public","name":"dapp-tools","owner":"dapphub","isFork":false,"description":"Code for the dapp.tools website","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Nix","color":"#7e7eff"},"pullRequestCount":0,"issueCount":1,"starsCount":20,"forksCount":13,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-25T09:49:09.165Z"}},{"type":"Public","name":"erc20","owner":"dapphub","isFork":false,"description":"erc20 interface definition container package","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":23,"forksCount":23,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-24T14:42:51.655Z"}},{"type":"Public archive","name":"klab","owner":"dapphub","isFork":false,"description":"K framework proof explorer & smart contract specification format","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":10,"issueCount":56,"starsCount":124,"forksCount":36,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-11T23:59:08.644Z"}},{"type":"Public","name":"remappings-test","owner":"dapphub","isFork":false,"description":"dummy project for testing dapp remappings","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-04T09:31:41.840Z"}},{"type":"Public","name":"tr0","owner":"dapphub","isFork":false,"description":"dummy repo for testing dapp-remappings","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-02T07:27:20.727Z"}},{"type":"Public","name":"tr1","owner":"dapphub","isFork":false,"description":"dummy repo for testing dapp remappings","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-02T07:27:17.451Z"}},{"type":"Public","name":"tr-base","owner":"dapphub","isFork":false,"description":"dummy repo for testing some dapp-remappings stuff","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-02T07:25:43.157Z"}},{"type":"Public","name":"ds-pain","owner":"dapphub","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-29T07:50:06.746Z"}},{"type":"Public","name":"ds-cache","owner":"dapphub","isFork":false,"description":"DSValue with expiry","topicNames":["ethereum","oracle","solidity","dappsys"],"topicsNotShown":0,"allTopics":["ethereum","oracle","solidity","dappsys"],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":7,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-29T07:42:31.038Z"}},{"type":"Public","name":"ds-vault","owner":"dapphub","isFork":false,"description":"DSAuth-protected ERC20 token vault","topicNames":["ethereum","solidity","erc20","dappsys"],"topicsNotShown":0,"allTopics":["ethereum","solidity","erc20","dappsys"],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":24,"forksCount":12,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-29T07:40:16.784Z"}}],"repositoryCount":139,"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"}