{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"cql","owner":"statebox","isFork":false,"description":"CQL: Categorical Query Language implementation in Haskell","allTopics":["haskell","category-theory","data-migration","query-language","aql"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":5,"issueCount":39,"starsCount":163,"forksCount":15,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-14T09:31:36.334Z"}},{"type":"Public","name":"AlexanderGrothenbot","owner":"statebox","isFork":false,"description":"Alexander Grothenbot","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":6,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-11T07:23:58.552Z"}},{"type":"Public","name":"applied-cat","owner":"statebox","isFork":false,"description":"Applied Category Theory Community app","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":11,"issueCount":1,"starsCount":8,"forksCount":1,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-09T19:00:02.179Z"}},{"type":"Public","name":"cli-tool","owner":"statebox","isFork":false,"description":"Statebox CLI tool","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":2,"issueCount":3,"starsCount":5,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-12T02:53:30.111Z"}},{"type":"Public","name":"purescript-halogen-svg","owner":"statebox","isFork":true,"description":"SVG support for purescript-halogen, including SVG animations","allTopics":["svg","purescript","svg-animations","halogen"],"primaryLanguage":{"name":"PureScript","color":"#1D222D"},"pullRequestCount":1,"issueCount":2,"starsCount":6,"forksCount":32,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-21T15:02:15.065Z"}},{"type":"Public","name":"36c3-og-workshop","owner":"statebox","isFork":false,"description":"Open Games workshop at 36c3","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-22T14:31:13.615Z"}},{"type":"Public","name":"petrinet-rs","owner":"statebox","isFork":false,"description":"basic Rust petrinet execution","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-17T21:58:02.188Z"}},{"type":"Public","name":"fsm-oracle","owner":"statebox","isFork":false,"description":"Finite state machines as graphs","allTopics":["category-theory","state-machines","formally-verified"],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":3,"starsCount":58,"forksCount":7,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-23T18:04:25.309Z"}},{"type":"Public","name":"idris-ct","owner":"statebox","isFork":false,"description":"formally verified category theory library","allTopics":["category-theory","formal-verification","formal-proofs"],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":7,"issueCount":23,"starsCount":254,"forksCount":23,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-23T14:34:39.895Z"}},{"type":"Public","name":"purescript-studio","owner":"statebox","isFork":false,"description":"Statebox studio + core + API + REST client","allTopics":["editor","api","gui","purescript","petrinet","protocol-oriented-programming","statebox","string-diagram"],"primaryLanguage":{"name":"PureScript","color":"#1D222D"},"pullRequestCount":2,"issueCount":100,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-12T19:58:28.297Z"}},{"type":"Public","name":"purescript-firestore","owner":"statebox","isFork":false,"description":"A Purescript library to interact with Google Cloud Firestore","allTopics":["purescript","firestore"],"primaryLanguage":{"name":"PureScript","color":"#1D222D"},"pullRequestCount":1,"issueCount":4,"starsCount":13,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-28T10:24:47.128Z"}},{"type":"Public","name":"cql-vscode","owner":"statebox","isFork":false,"description":"CQL extension for Visual Studio Code","allTopics":["visual-studio-code","cql","visual-studio-code-extension"],"primaryLanguage":null,"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-05T23:30:01.813Z"}},{"type":"Public","name":"purescript-profunctor-lenses","owner":"statebox","isFork":true,"description":"Pure profunctor lenses","allTopics":[],"primaryLanguage":{"name":"PureScript","color":"#1D222D"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":51,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-03T20:00:52.997Z"}},{"type":"Public","name":"idris-stbx-core","owner":"statebox","isFork":false,"description":"Category theoretic semantics of glued open Petri nets in Idris","allTopics":["dependent-types","core","category-theory","idris","literate-programming","petrinet","statebox","petrinets"],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":1,"issueCount":25,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-01T15:38:46.197Z"}},{"type":"Public","name":"optparse-idris","owner":"statebox","isFork":true,"description":"Minimal port of optparse-applicative to idris","allTopics":[],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-31T17:14:36.956Z"}},{"type":"Public","name":"monmor-spec","owner":"statebox","isFork":false,"description":"Exchange format for morphisms in Monoidal Categories","allTopics":["documentation"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-03T11:42:17.079Z"}},{"type":"Public","name":"btc-xmr-swap-protocol","owner":"statebox","isFork":false,"description":"Petrinets for the BTC <=> XMR swap protocol","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-04T13:25:09.980Z"}},{"type":"Public","name":"annotation-tool","owner":"statebox","isFork":false,"description":"Paper commenting tool","allTopics":["pdf","pdf-viewer","annotation-tool"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":5,"starsCount":0,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-18T09:16:53.050Z"}},{"type":"Public","name":"efgrant-paper","owner":"statebox","isFork":false,"description":"Ethereum Foundation Grant report","allTopics":["research","paper"],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-02T12:59:46.939Z"}},{"type":"Public","name":"awesome-applied-ct","owner":"statebox","isFork":false,"description":"ACT community resources","allTopics":["category-theory","references","curated-list","applied-category-theory","compositionality"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":463,"forksCount":25,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-26T15:39:11.942Z"}},{"type":"Public","name":"fun-with-categories-talk","owner":"statebox","isFork":true,"description":"slides for the `fun with categories` talk","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-17T04:52:58.741Z"}},{"type":"Public","name":"zksnark-notebooks","owner":"statebox","isFork":false,"description":"iPython notebooks for zkSNARK experiments","allTopics":["zksnarks","efgrant"],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-21T17:04:59.250Z"}},{"type":"Public","name":"libsnark-circuit","owner":"statebox","isFork":false,"description":"","allTopics":["boolean-circuits","zksnarks","efgrant"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-17T00:00:46.838Z"}},{"type":"Public","name":"solidity-zksnark-verifier","owner":"statebox","isFork":false,"description":"An Ethereum smart contract that verifies TBCS (Two-Input Boolean Circuit Satisfiability) SNARKs","allTopics":["ethereum-contract","verifier","smart-contract","zksnark","efgrant"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-16T23:43:37.220Z"}},{"type":"Public","name":"idris-bytes","owner":"statebox","isFork":true,"description":"FFI-based byte buffers for Idris","allTopics":[],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-06T16:51:59.008Z"}},{"type":"Public","name":"liveshare-vm","owner":"statebox","isFork":false,"description":"google compute vm with nomachine desktop sharing","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-28T16:29:23.135Z"}},{"type":"Public","name":"py-stbx-packetcodec","owner":"statebox","isFork":false,"description":"Statebox codec for python","allTopics":["python"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-09T19:41:25.603Z"}},{"type":"Public","name":"idris-ct-docs","owner":"statebox","isFork":false,"description":"Published literate Idris documentation for statebox/idris-ct","allTopics":["documentation"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-25T15:14:03.923Z"}},{"type":"Public","name":"idris-multibase","owner":"statebox","isFork":false,"description":"Self-identifying base encodings in Idris","allTopics":["hashing","text-encoding-schemes"],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":3,"starsCount":6,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-15T13:08:58.996Z"}},{"type":"Public","name":"idris-multihash","owner":"statebox","isFork":false,"description":"Multihash for Idris","allTopics":["hash-functions","hash"],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":1,"issueCount":3,"starsCount":8,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-01T14:37:46.449Z"}}],"repositoryCount":51,"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":"statebox repositories"}