{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"ouroboros-lean4","owner":"functionally","isFork":false,"description":"Ouroboros protocols in Lean4","allTopics":["blockchain","formal-methods","ouroboros","lean4"],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-23T01:53:56.541Z"}},{"type":"Public","name":"crypto-lean4","owner":"functionally","isFork":false,"description":"Implementation of various cryptographic functions in Lean4","allTopics":["cryptography","elliptic-curves","lean4"],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":1,"issueCount":10,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T00:39:32.140Z"}},{"type":"Public","name":"iog-agda-prelude","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-09T12:41:24.996Z"}},{"type":"Public","name":"ipfs-jwe","owner":"functionally","isFork":false,"description":"JWE for IPFS","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-21T17:18:38.646Z"}},{"type":"Public","name":"nix-derivations","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Nix","color":"#7e7eff"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-04T23:23:59.429Z"}},{"type":"Public","name":"local-cardano-service-configs","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T23:02:10.569Z"}},{"type":"Public","name":"marlowe-cardano","owner":"functionally","isFork":true,"description":"Marlowe smart contract language Cardano implementation","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":44,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-30T16:57:30.616Z"}},{"type":"Public","name":"marlowe","owner":"functionally","isFork":true,"description":"Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":43,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T16:29:31.490Z"}},{"type":"Public","name":"marlowe-clean","owner":"functionally","isFork":false,"description":"Scripts for find and advance all Marlowe transactions that have timed out.","allTopics":[],"primaryLanguage":{"name":"Nix","color":"#7e7eff"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-28T18:49:56.639Z"}},{"type":"Public","name":"marlowe-stat","owner":"functionally","isFork":false,"description":"Scripts to compute and publish statistics for Marlowe contracts on public networks.","allTopics":[],"primaryLanguage":{"name":"R","color":"#198CE7"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-28T15:06:03.417Z"}},{"type":"Public","name":"marlowe-ici","owner":"functionally","isFork":false,"description":"This application is a decentralized, distributed chain index for Marlowe transactions on the Cardano blockchain.","allTopics":["ipfs","ipld","cardano","marlowe","webrtc-star"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-28T03:14:22.982Z"}},{"type":"Public","name":"marlowe-plutus","owner":"functionally","isFork":true,"description":"Plutus validators for the Marlowe financial contract DSL","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-22T07:07:49.130Z"}},{"type":"Public","name":"marlowe-doc","owner":"functionally","isFork":true,"description":"Documentation of the Marlowe language and ecosystem","allTopics":[],"primaryLanguage":{"name":"MDX","color":"#fcb32c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-20T00:47:55.656Z"}},{"type":"Public","name":"marlowe-starter-kit","owner":"functionally","isFork":true,"description":"This repository contains lessons for using Marlowe via REST and at the command line. It is meant to be used with demeter.run or with a Docker deployment of Marlowe Runtime.","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":15,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-17T16:00:17.156Z"}},{"type":"Public","name":"infovis-parallel","owner":"functionally","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-11-10T17:11:44.592Z"}},{"type":"Public","name":"infovis-unity","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-10T17:03:25.813Z"}},{"type":"Public","name":"kafka-device-leap","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-10T07:05:47.682Z"}},{"type":"Public","name":"color-counter","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-10T06:59:44.993Z"}},{"type":"Public","name":"opengl-dlp-stereo","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-10T06:59:37.572Z"}},{"type":"Public","name":"opengl-spacenavigator","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-10T06:59:35.136Z"}},{"type":"Public","name":"distributed-process-simplewidenet","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-10T06:59:32.845Z"}},{"type":"Public","name":"leap-tracker","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-10T06:58:53.715Z"}},{"type":"Public","name":"tango-infovis","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-10T06:58:50.850Z"}},{"type":"Public","name":"handa-opengl","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-10T06:58:30.519Z"}},{"type":"Public","name":"vrpn","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-10T06:53:46.797Z"}},{"type":"Public","name":"hleap","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-10T06:53:44.594Z"}},{"type":"Public","name":"kafka-device-vrpn","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-10T06:53:40.551Z"}},{"type":"Public","name":"kafka-device","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-10T06:53:38.245Z"}},{"type":"Public","name":"kafka-device-joystick","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-10T06:53:35.985Z"}},{"type":"Public","name":"kafka-device-spacenav","owner":"functionally","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-10T06:53:33.719Z"}}],"repositoryCount":45,"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":"functionally repositories"}