{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"egison","owner":"egison","isFork":false,"description":"The Egison Programming Language","topicNames":["programming-language","functional-programming","pattern-matching","differential-geometry","hacktoberfest","computer-algebra-system","tensor","egison"],"topicsNotShown":0,"allTopics":["programming-language","functional-programming","pattern-matching","differential-geometry","hacktoberfest","computer-algebra-system","tensor","egison"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":21,"starsCount":903,"forksCount":32,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-22T23:19:05.531Z"}},{"type":"Public","name":"egison-prover","owner":"egison","isFork":false,"description":"Proof writing language with Egison pattern matching","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-28T10:31:14.084Z"}},{"type":"Public","name":"www.egison.org","owner":"egison","isFork":false,"description":"The website of Egison","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":6,"starsCount":4,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-26T03:39:54.677Z"}},{"type":"Public","name":"sweet-egison","owner":"egison","isFork":false,"description":"Haskell library for non-deterministic pattern matching","topicNames":["haskell","pattern-matching","backtracking","non-linear-pattern","egison"],"topicsNotShown":0,"allTopics":["haskell","pattern-matching","backtracking","non-linear-pattern","egison"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":17,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-23T05:25:38.127Z"}},{"type":"Public","name":"backtracking","owner":"egison","isFork":false,"description":"Backtracking monad in Haskell","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":14,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-23T00:04:00.957Z"}},{"type":"Public","name":"egison-package-builder","owner":"egison","isFork":false,"description":"Automated package builder for Egison","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-09T01:00:18.495Z"}},{"type":"Public","name":"homebrew-egison","owner":"egison","isFork":false,"description":"Homebrew formula for Egison","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-21T00:07:46.439Z"}},{"type":"Public","name":"egison-tutorial","owner":"egison","isFork":false,"description":"The Egison tutorial","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":14,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-18T11:36:14.495Z"}},{"type":"Public","name":"docker-egison","owner":"egison","isFork":false,"description":"Dockerfile for Egison","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-12T09:29:14.517Z"}},{"type":"Public","name":"egison_kernel","owner":"egison","isFork":false,"description":"Egison kernel for Jupyter","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-19T04:50:53.200Z"}},{"type":"Public","name":"egison-pattern-src","owner":"egison","isFork":false,"description":"Manipulating Egison patterns: abstract syntax, parser, and pretty-printer","topicNames":["programming-language","parser","pattern","syntax-tree","pretty-printer","egison"],"topicsNotShown":0,"allTopics":["programming-language","parser","pattern","syntax-tree","pretty-printer","egison"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":7,"starsCount":5,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-03T05:44:55.195Z"}},{"type":"Public","name":"egison-haskell","owner":"egison","isFork":false,"description":"Template Haskell Implementation of Egison Pattern Matching","topicNames":["haskell","pattern-matching","backtracking","egison","non-linear-pattern"],"topicsNotShown":0,"allTopics":["haskell","pattern-matching","backtracking","egison","non-linear-pattern"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":3,"starsCount":31,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-13T00:37:24.265Z"}},{"type":"Public","name":"egison-scheme","owner":"egison","isFork":false,"description":"Scheme macros for non-linear pattern matching with backtracking for non-free data types","topicNames":["scheme","pattern-matching"],"topicsNotShown":0,"allTopics":["scheme","pattern-matching"],"primaryLanguage":{"name":"Scheme","color":"#1e4aec"},"pullRequestCount":0,"issueCount":0,"starsCount":27,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-08-29T01:21:49.510Z"}},{"type":"Public","name":"pmo-paper","owner":"egison","isFork":false,"description":"Tutorial paper of pattern-matching-oriented programming","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-30T07:32:09.047Z"}},{"type":"Public","name":"differential-geometry","owner":"egison","isFork":false,"description":"Egison programs for basic calculations in differential geometry","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-19T10:57:59.376Z"}},{"type":"Public","name":"typed-egison","owner":"egison","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":3,"starsCount":17,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-29T05:21:54.127Z"}},{"type":"Public","name":"vim-egison","owner":"egison","isFork":true,"description":"Egison editing mode for Vim","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Vim Script","color":"#199f4b"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-06-13T07:49:16.488Z"}},{"type":"Public","name":"math-output","owner":"egison","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-19T09:23:25.415Z"}},{"type":"Public","name":"language-egison","owner":"egison","isFork":true,"description":"Egison language package for Atom","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-23T09:59:13.480Z"}},{"type":"Public","name":"egison-ruby","owner":"egison","isFork":false,"description":"A Ruby gem for non-linear pattern-matching with backtracking","topicNames":["pattern-matching"],"topicsNotShown":0,"allTopics":["pattern-matching"],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":160,"forksCount":5,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-12-09T04:19:44.780Z"}},{"type":"Public","name":"api.egison.org","owner":"egison","isFork":false,"description":"The API server for Egison's website","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-05-01T05:08:45.741Z"}},{"type":"Public","name":"cleson","owner":"egison","isFork":true,"description":"Egison-like pattern-matching library for Common Lisp","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-03-23T13:29:46.476Z"}}],"repositoryCount":22,"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"}