{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"koka","owner":"koka-lang","isFork":false,"description":"Koka language compiler and interpreter","topicNames":["algebraic-effects","handler","effect-handlers","haskell","koka"],"topicsNotShown":0,"allTopics":["algebraic-effects","handler","effect-handlers","haskell","koka"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":28,"issueCount":144,"starsCount":3098,"forksCount":148,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T04:39:09.377Z"}},{"type":"Public","name":"AddressC","owner":"koka-lang","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-28T12:03:04.744Z"}},{"type":"Public","name":"madoko","owner":"koka-lang","isFork":false,"description":"Madoko is a fast markdown processor for high quality academic and technical articles","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":9,"issueCount":58,"starsCount":384,"forksCount":41,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T20:12:56.750Z"}},{"type":"Public","name":"libmprompt","owner":"koka-lang","isFork":false,"description":"Robust multi-prompt delimited control and effect handlers in C/C++","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":3,"issueCount":4,"starsCount":104,"forksCount":11,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-28T18:07:18.777Z"}},{"type":"Public","name":"koka-lang.github.io","owner":"koka-lang","isFork":false,"description":"Koka language web pages","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-14T19:10:02.706Z"}},{"type":"Public","name":"libhandler","owner":"koka-lang","isFork":false,"description":"Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":2,"issueCount":3,"starsCount":179,"forksCount":14,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-28T16:13:49.343Z"}},{"type":"Public","name":"nodec","owner":"koka-lang","isFork":false,"description":"NodeC -- A lean NodeJS in C using algebraic effect handlers.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":34,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-11T17:27:39.815Z"}}],"repositoryCount":7,"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"}