{"payload":{"pageCount":4,"repositories":[{"type":"Public","name":"namada","owner":"anoma","isFork":false,"description":"Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy","allTopics":["privacy","zkp","rust","blockchain"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":30,"issueCount":209,"starsCount":2372,"forksCount":950,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-10T15:48:54.827Z"}},{"type":"Public template","name":"art-template","owner":"anoma","isFork":false,"description":"Anoma Research Topics Template","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,11,3,2,2,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,2,2,27,10,2,4,0,0,0,5,0,0,0,0,0,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-10T13:42:34.417Z"}},{"type":"Public","name":"namada-interface","owner":"anoma","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":20,"issueCount":64,"starsCount":77,"forksCount":96,"license":"Apache License 2.0","participation":[5,5,4,4,6,6,7,3,5,3,2,6,3,3,3,3,5,6,6,0,2,3,15,8,9,18,3,11,0,1,4,3,9,8,12,3,2,9,8,9,11,12,8,20,25,26,24,27,44,34,43,17],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-10T12:44:27.433Z"}},{"type":"Public","name":"juvix-cairo-vm","owner":"anoma","isFork":false,"description":"Cairo VM CLI with Juvix support","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":1,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-10T11:17:16.160Z"}},{"type":"Public","name":"juvix","owner":"anoma","isFork":false,"description":"A language for intent-centric and declarative decentralised applications","allTopics":["programming-language","functional-programming","anoma","arithmetic-circuits","privacy-preserving-technologies"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":6,"issueCount":108,"starsCount":442,"forksCount":54,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-10T09:11:04.119Z"}},{"type":"Public","name":"juvix-stdlib","owner":"anoma","isFork":false,"description":"The Juvix standard library","allTopics":["library","juvix"],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":2,"issueCount":5,"starsCount":9,"forksCount":1,"license":null,"participation":[0,0,0,0,0,0,0,2,2,0,1,1,0,2,0,2,1,0,1,0,0,2,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,3,0,1,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-10T03:46:33.970Z"}},{"type":"Public","name":"geb","owner":"anoma","isFork":false,"description":"A Categorical View of Computation","allTopics":["category-theory","category","idris2","lisp","common-lisp"],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":4,"issueCount":24,"starsCount":27,"forksCount":9,"license":"GNU General Public License v3.0","participation":[4,2,4,0,24,1,0,3,0,0,1,14,0,0,0,0,1,22,0,1,5,0,0,10,0,0,0,4,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-09T00:41:04.801Z"}},{"type":"Public","name":"juvix-nightly-builds","owner":"anoma","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":6,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-08T05:41:44.227Z"}},{"type":"Public","name":"aarm-cairo","owner":"anoma","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Elixir","color":"#6e4a7e"},"pullRequestCount":2,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T16:15:20.231Z"}},{"type":"Public","name":"namada-governance-upgrades","owner":"anoma","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T15:22:30.279Z"}},{"type":"Public","name":"namada-docs","owner":"anoma","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"MDX","color":"#fcb32c"},"pullRequestCount":4,"issueCount":14,"starsCount":48,"forksCount":79,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T13:45:53.048Z"}},{"type":"Public","name":"juvix-anoma-stdlib","owner":"anoma","isFork":false,"description":"A Juvix library for writing Anoma applications","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T12:26:49.118Z"}},{"type":"Public","name":"namada-indexer","owner":"anoma","isFork":false,"description":"Namada indexer to be used in conjunction with the namada interface","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":1,"starsCount":11,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T12:06:36.722Z"}},{"type":"Public","name":"vscode-juvix","owner":"anoma","isFork":false,"description":"VSCode extension for Juvix","allTopics":["juvix","vscode","vscode-extension"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":1,"issueCount":19,"starsCount":3,"forksCount":2,"license":"GNU General Public License v3.0","participation":[0,4,3,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,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T11:32:37.147Z"}},{"type":"Public","name":"slow-game-research","owner":"anoma","isFork":false,"description":"Simulations for the Slow Game ART","allTopics":[],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T10:20:07.980Z"}},{"type":"Public","name":"juvix-docs","owner":"anoma","isFork":false,"description":"Juvix Official Documentation","allTopics":["documentation","juvix"],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":2,"issueCount":7,"starsCount":3,"forksCount":6,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T04:58:52.488Z"}},{"type":"Public","name":"juvix-mkdocs","owner":"anoma","isFork":false,"description":"Highlight Juvix codeblocks in Mkdocs websites","allTopics":["mkdocs","literate-programming","mkdocs-material","mkdocs-plugin","juvix"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-02T15:51:47.620Z"}},{"type":"Public","name":"juvix-mode","owner":"anoma","isFork":false,"description":"The Juvix Emacs mode","allTopics":["emacs-mode","juvix"],"primaryLanguage":{"name":"Emacs Lisp","color":"#c065db"},"pullRequestCount":0,"issueCount":5,"starsCount":1,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-02T14:10:40.278Z"}},{"type":"Public","name":"masp","owner":"anoma","isFork":false,"description":"The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.","allTopics":["privacy","blockchain","decentralization","masp","zero-knowledge-proofs","namada"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":1,"starsCount":86,"forksCount":26,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T06:43:21.914Z"}},{"type":"Public","name":"typhon","owner":"anoma","isFork":false,"description":"Formalization of Typhon protocol","allTopics":["distributed-systems","blockchain","p2p","consensus","paxos"],"primaryLanguage":{"name":"TLA","color":"#4b0079"},"pullRequestCount":0,"issueCount":42,"starsCount":26,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T15:10:22.196Z"}},{"type":"Public","name":"anoma-blog","owner":"anoma","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T13:52:08.434Z"}},{"type":"Public","name":"Isabelle-HPaxos","owner":"anoma","isFork":false,"description":"A formalization of HPaxos in Isabelle","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-01T20:22:50.109Z"}},{"type":"Public","name":"juvix-quickcheck","owner":"anoma","isFork":false,"description":"Property-based testing for Juvix","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T18:34:01.576Z"}},{"type":"Public","name":"juvix-containers","owner":"anoma","isFork":false,"description":"Immutable container types for Juvix","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T18:30:56.123Z"}},{"type":"Public","name":"juvix-test","owner":"anoma","isFork":false,"description":"A testing framework for Juvix","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T18:27:41.122Z"}},{"type":"Public","name":"namada-shielded-expedition","owner":"anoma","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":53,"issueCount":6,"starsCount":43,"forksCount":203,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-08T19:15:20.358Z"}},{"type":"Public","name":"tiny-bip39","owner":"anoma","isFork":true,"description":"A Rust implementation of BIP-0039","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":61,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-04T19:29:46.176Z"}},{"type":"Public","name":"namada-shielded-airdrop","owner":"anoma","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-04T13:58:07.965Z"}},{"type":"Public","name":"abstract-resource-machine-simulator","owner":"anoma","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-02T09:46:52.531Z"}},{"type":"Public","name":"taiga","owner":"anoma","isFork":false,"description":"A framework for generalized shielded state transitions","allTopics":["blockchain","p2p","consensus","cryptography","elliptic-curves"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":39,"starsCount":127,"forksCount":26,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-25T16:06:42.719Z"}}],"repositoryCount":98,"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"}