{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"celf","owner":"clf","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Standard ML","color":"#dc566d"},"pullRequestCount":0,"issueCount":1,"starsCount":58,"forksCount":5,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-24T20:58:26.999Z"}},{"type":"Public","name":"ollibot","owner":"clf","isFork":false,"description":"An implementation of substructural intuitionistic logic focused on forward chaining","allTopics":[],"primaryLanguage":{"name":"Standard ML","color":"#dc566d"},"pullRequestCount":0,"issueCount":1,"starsCount":13,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-10-16T13:44:37.000Z"}},{"type":"Public","name":"llf","owner":"clf","isFork":false,"description":"Original LLF implementation (typechecher + operational semantics) from 1997","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2011-10-14T06:54:25.000Z"}},{"type":"Public","name":"lollimon","owner":"clf","isFork":false,"description":"Lollimon, a monadic concurrent linear logic programming language","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":26,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2011-10-14T02:27:47.000Z"}}],"repositoryCount":4,"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"}