{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"accelerate","owner":"discus-lang","isFork":true,"description":"Embedded language for high-performance array computations","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":119,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-13T16:26:25.409Z"}},{"type":"Public","name":"salt-theme","owner":"discus-lang","isFork":false,"description":"Salt Plain Visual Studio Code Theme","topicNames":["theme","haskell","functional","ide","vscode","salt","vscode-theme"],"topicsNotShown":0,"allTopics":["theme","haskell","functional","ide","vscode","salt","vscode-theme"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-03T04:05:52.916Z"}},{"type":"Public","name":"salt-vscode","owner":"discus-lang","isFork":false,"description":"Salt Visual Studio Code language extension","topicNames":["functional","compiler","ide","low-level","vscode","language-extensions"],"topicsNotShown":0,"allTopics":["functional","compiler","ide","low-level","vscode","language-extensions"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":4,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-08T09:21:32.310Z"}},{"type":"Public","name":"shivver","owner":"discus-lang","isFork":false,"description":"Reflective Lambda Machine with Cold Storage","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-02T10:57:23.746Z"}},{"type":"Public","name":"inchworm","owner":"discus-lang","isFork":false,"description":"Simple parser combinators for lexical analysis.","topicNames":["haskell","parsing","parser-combinators","lexical-analysis"],"topicsNotShown":0,"allTopics":["haskell","parsing","parser-combinators","lexical-analysis"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-07T10:27:15.844Z"}},{"type":"Public","name":"salt","owner":"discus-lang","isFork":false,"description":"The compilation target that functional programmers always wanted.","topicNames":["language","functional","compiler","lambda-calculus","target","low-level","compilation"],"topicsNotShown":0,"allTopics":["language","functional","compiler","lambda-calculus","target","low-level","compilation"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":62,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-02T12:18:02.837Z"}},{"type":"Public","name":"iron","owner":"discus-lang","isFork":false,"description":"Coq formalizations of functional languages.","topicNames":["lambda-calculus","theory","coq","proof","coq-formalizations"],"topicsNotShown":0,"allTopics":["lambda-calculus","theory","coq","proof","coq-formalizations"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":139,"forksCount":10,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-02T10:38:18.071Z"}},{"type":"Public","name":"shimmer","owner":"discus-lang","isFork":false,"description":"The Reflective Lambda Machine","topicNames":["reflection","functional","language"],"topicsNotShown":0,"allTopics":["reflection","functional","language"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-19T13:09:01.359Z"}},{"type":"Public","name":"ddc","owner":"discus-lang","isFork":false,"description":"The Disco Discus Compiler","topicNames":["functional","experimental","compiler","effects","capabilities","regions","language"],"topicsNotShown":0,"allTopics":["functional","experimental","compiler","effects","capabilities","regions","language"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":174,"forksCount":19,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-06T03:00:24.675Z"}},{"type":"Public","name":"discus-bot","owner":"discus-lang","isFork":false,"description":"IRC bot for the #discus-lang channel on freenode","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-23T02:27:08.595Z"}},{"type":"Public","name":"buildbox","owner":"discus-lang","isFork":false,"description":"Rehackable components for writing buildbots and test harnesses.","topicNames":["library","build","build-automation","buildbot","haskell"],"topicsNotShown":0,"allTopics":["library","build","build-automation","buildbot","haskell"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-10-12T10:02:27.204Z"}},{"type":"Public","name":"discus-network","owner":"discus-lang","isFork":true,"description":"A network library for the Discus programming language","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-25T04:45:16.511Z"}}],"repositoryCount":12,"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"}