{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"mtl-actus","owner":"cspr-rad","isFork":false,"description":"Fragment of Algorithmic Contract Types Unified Standard in metric temporal logic","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-21T17:32:59.393Z"}},{"type":"Public","name":"kairos","owner":"cspr-rad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":7,"issueCount":15,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-21T17:10:00.395Z"}},{"type":"Public","name":"risc0","owner":"cspr-rad","isFork":true,"description":"RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":359,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-20T20:23:47.860Z"}},{"type":"Public","name":"casper-node","owner":"cspr-rad","isFork":true,"description":"Reference client for CASPER protocol","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":217,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-20T17:03:39.539Z"}},{"type":"Public","name":"casper-client-rs","owner":"cspr-rad","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":21,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-18T09:29:48.129Z"}},{"type":"Public","name":"docs","owner":"cspr-rad","isFork":false,"description":"Publically available documentation generated by R&amp;D team","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-17T17:35:03.756Z"}},{"type":"Public","name":"litmus-wasm","owner":"cspr-rad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-14T19:30:04.396Z"}},{"type":"Public","name":"acropolis","owner":"cspr-rad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-13T19:32:46.368Z"}},{"type":"Public","name":"litmus","owner":"cspr-rad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-11T18:02:17.490Z"}},{"type":"Public","name":"kairos-trie","owner":"cspr-rad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":1,"starsCount":5,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-11T03:46:05.164Z"}},{"type":"Public","name":"csprpkgs","owner":"cspr-rad","isFork":false,"description":"Nixified Casper Packages","allTopics":["casper","nix","casper-network"],"primaryLanguage":{"name":"Nix","color":"#7e7eff"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T13:41:46.348Z"}},{"type":"Public","name":"litmus-java","owner":"cspr-rad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":2,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T15:02:11.773Z"}},{"type":"Public","name":"litmus-py","owner":"cspr-rad","isFork":false,"description":"Experimental python implementation of litmus - temporary so as to test light client mechanics.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-30T15:54:00.083Z"}},{"type":"Public","name":"litmus-docs","owner":"cspr-rad","isFork":false,"description":"Documentation pertaining to the litmus project.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T21:07:37.453Z"}},{"type":"Public","name":"cctl-rs","owner":"cspr-rad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-03T21:18:29.434Z"}},{"type":"Public","name":"grants","owner":"cspr-rad","isFork":false,"description":"Encapsulates grant related documents, issues, assessments. Maximal transparency is a pre-requisite.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":6,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-01T17:54:04.973Z"}},{"type":"Public","name":"casper-event-standard","owner":"cspr-rad","isFork":true,"description":"The smart contract level events for Casper Network.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T13:08:50.214Z"}},{"type":"Public","name":"risc0pkgs","owner":"cspr-rad","isFork":false,"description":"Nixified RISC Zero Packages (<a href=\"https://www.risczero.com/\" rel=\"nofollow\">https://www.risczero.com/</a>)","allTopics":["nix","risc0","risczero"],"primaryLanguage":{"name":"Nix","color":"#7e7eff"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T20:21:18.418Z"}},{"type":"Public","name":"cctl","owner":"cspr-rad","isFork":true,"description":"Bash application to work with a local casper-node network.","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T16:00:00.428Z"}},{"type":"Public","name":"sha256-zk-benchmark","owner":"cspr-rad","isFork":false,"description":"Risc0, Risc0-Groth16, SP1 bechmarks for SHA256","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-21T13:30:09.632Z"}},{"type":"Public","name":"ltl-actus","owner":"cspr-rad","isFork":false,"description":"Linear temporal logic as the execution environment of finance","allTopics":[],"primaryLanguage":{"name":"Lua","color":"#000080"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-11T21:57:28.242Z"}},{"type":"Public","name":"risc0-compat","owner":"cspr-rad","isFork":false,"description":"Risc0 backend wrapper for Kairos, exposing a mock and a production Risc0 environment","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-06T09:26:06.256Z"}},{"type":"Public","name":"kairos-spec","owner":"cspr-rad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Typst","color":"#239dad"},"pullRequestCount":0,"issueCount":3,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-29T19:54:31.672Z"}},{"type":"Public","name":"lean-contracts","owner":"cspr-rad","isFork":false,"description":"replication of \"Certified Symbolic Management of Multi-party Financial Contracts\" <a href=\"https://github.com/HIPERFIT/contracts\">https://github.com/HIPERFIT/contracts</a> ","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-22T21:43:56.248Z"}},{"type":"Public","name":"kairos-cctl-env","owner":"cspr-rad","isFork":true,"description":"CCTL environment and setup scripts for kairos (deposit) contract(s)","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-27T17:18:11.469Z"}},{"type":"Public","name":"prusti-lunchnlearn","owner":"cspr-rad","isFork":false,"description":"demonstrating prusti for the team. This is just the intro-- the rest of the demo is in other repos like `kairos-trie`","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-20T18:51:40.547Z"}},{"type":"Public","name":"actus-spec","owner":"cspr-rad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Typst","color":"#239dad"},"pullRequestCount":0,"issueCount":10,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-15T15:28:59.043Z"}},{"type":"Public","name":"actus-haskell","owner":"cspr-rad","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":"2024-02-13T14:31:04.072Z"}},{"type":"Public","name":"actus-papers","owner":"cspr-rad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-12T20:28:17.336Z"}},{"type":"Public","name":"paradox-spec","owner":"cspr-rad","isFork":false,"description":"Paradox: a creative coding project","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-08T15:36:20.618Z"}}],"repositoryCount":36,"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"}