{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"chimera","owner":"cicada-lang","isFork":false,"description":"","allTopics":["programming-language","json","logic","logic-programming"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":73,"forksCount":3,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T19:07:06.896Z"}},{"type":"Public","name":"clique","owner":"cicada-lang","isFork":false,"description":"My language practices :)","allTopics":["scheme","lambda","lisp","interpreter","lambda-calculus","recursion","sexp","s-expression","lazy-evaluation","s-exp"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":1,"starsCount":26,"forksCount":3,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T19:06:56.448Z"}},{"type":"Public","name":"cicada","owner":"cicada-lang","isFork":false,"description":"Cicada Language ","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T19:06:24.275Z"}},{"type":"Public","name":"grammar","owner":"cicada-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T19:06:14.490Z"}},{"type":"Public","name":"lambda-machine","owner":"cicada-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T19:06:00.338Z"}},{"type":"Public","name":"propagator","owner":"cicada-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T19:05:01.409Z"}},{"type":"Public","name":"cicada-plct","owner":"cicada-lang","isFork":false,"description":"Cicada Language (PLCT little team)","allTopics":["language","programming-language","dependent-types","repl","type-theory","type-system","cicada","prover","interactive-theorem-proving","theorem-prover","dependent-record-types","dependent-type-theory"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":13,"starsCount":91,"forksCount":6,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T13:04:03.129Z"}},{"type":"Public","name":"inet-js","owner":"cicada-lang","isFork":false,"description":"This is an implementation of interaction nets. It introduces you to the bizarre world of graph-based computation and linear logic, using a familiar JavaScript-like syntax :)","allTopics":["programming-language","interpreter","graph","interaction-nets","graph-processing","language-design","programming-language-concepts","inet","programming-language-development","undirected-graph","programming-language-design","computation-model","language"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":2,"starsCount":39,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T12:55:54.975Z"}},{"type":"Public","name":"petri-net-js","owner":"cicada-lang","isFork":false,"description":"An implementation of Petri net.","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-11T16:22:39.716Z"}},{"type":"Public","name":"inet-cute","owner":"cicada-lang","isFork":false,"description":"An implementation of interaction nets. -- ASCII art inspired syntax. -- Pure postfix expression. -- Using a stack-based low-layer language to build nets.","allTopics":["programming-language","interpreter","graph","interaction-nets","monoid","graph-processing","language-design","stack-based","programming-language-concepts","inet","postfix-notation","programming-language-development","undirected-graph","programming-language-design","computation-model"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":129,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-11T16:22:30.242Z"}},{"type":"Public","name":"cicada-lang-website","owner":"cicada-lang","isFork":false,"description":"Website of Cicada Language","allTopics":[],"primaryLanguage":{"name":"Vue","color":"#41b883"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":3,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-11T16:22:20.068Z"}},{"type":"Public","name":"cicada-internships","owner":"cicada-lang","isFork":false,"description":"蝉语实习生 / Cicada Internships","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-11T16:21:50.055Z"}},{"type":"Public","name":"cicada-solo","owner":"cicada-lang","isFork":false,"description":"Cicada Language (solo version)","allTopics":["dependent-types","repl","type-theory","type-system","cicada","prover","interactive-theorem-proving","theorem-prover","dependent-record-types","dependent-type-theory","language","programming-language"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":4,"starsCount":125,"forksCount":5,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-11T16:19:37.162Z"}},{"type":"Public","name":"mugda","owner":"cicada-lang","isFork":false,"description":"An implementation of the mugda paper","allTopics":["agda","type-checker","halting-problem","mugda","termination-checking"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":5,"starsCount":2,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-02T18:39:55.617Z"}},{"type":"Public","name":"sexp","owner":"cicada-lang","isFork":false,"description":"An implementation of S-expression in JavaScript.","allTopics":["scheme","parser","lisp","sexp","s-expression"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-28T19:05:54.222Z"}},{"type":"Public","name":"partech","owner":"cicada-lang","isFork":false,"description":"Parsing Techniques","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-10T16:35:48.290Z"}},{"type":"Public","name":"xvm","owner":"cicada-lang","isFork":false,"description":"XVM is a extensible virtual machine.","allTopics":["virtual-machine"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-02T16:21:46.848Z"}},{"type":"Public","name":".github","owner":"cicada-lang","isFork":false,"description":"Meta repo of Cicada Language GitHub organization","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-14T14:33:13.166Z"}},{"type":"Public","name":"monoid","owner":"cicada-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-14T07:45:44.982Z"}},{"type":"Public","name":"inet","owner":"cicada-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Assembly","color":"#6E4C13"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-14T07:29:32.924Z"}},{"type":"Public","name":"inet-website","owner":"cicada-lang","isFork":false,"description":"Website of iNet","allTopics":["playground","canvas","graph","inet","language-playground"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-14T05:13:57.943Z"}},{"type":"Public","name":"framework","owner":"cicada-lang","isFork":false,"description":"Our framework for programming language design","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-11T16:36:38.115Z"}},{"type":"Public","name":"cicada-seminar-2022","owner":"cicada-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-05T14:52:33.720Z"}},{"type":"Public","name":"aziz","owner":"cicada-lang","isFork":false,"description":"Compiler backend practices (runtime and code generation)","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-31T09:22:31.765Z"}},{"type":"Public","name":"causality","owner":"cicada-lang","isFork":false,"description":"Vague but exciting!","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-19T19:48:24.541Z"}},{"type":"Public","name":"cicada-instars","owner":"cicada-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-16T10:21:14.172Z"}},{"type":"Public","name":"cicada-propaganda","owner":"cicada-lang","isFork":false,"description":"Propaganda of Cicada Language","allTopics":["cicada","propaganda","cicada-lang","cicada-language"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-18T18:16:22.479Z"}},{"type":"Public","name":"cicada-instars-playground","owner":"cicada-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-01T20:27:39.192Z"}}],"repositoryCount":28,"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"}