{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"ciao_vsc","owner":"ciao-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-02T15:34:28.859Z"}},{"type":"Public","name":"ciao","owner":"ciao-lang","isFork":false,"description":"Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.","allTopics":["interpreter","bytecode","virtual-machine","logic","prolog","prolog-implementation","constraints","prolog-interpreter","logic-programming","clp","prolog-programming-language","prolog-compiler","iso-prolog-standard","ciao-prolog","programming-language","compiler"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":37,"starsCount":248,"forksCount":18,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T20:24:58.099Z"}},{"type":"Public","name":"ciaopp","owner":"ciao-lang","isFork":false,"description":"The Ciao Preprocessor","allTopics":["static-analysis","prolog","abstract-interpretation","ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":2,"starsCount":9,"forksCount":3,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:45:44.290Z"}},{"type":"Public","name":"cleandirs","owner":"ciao-lang","isFork":false,"description":"","allTopics":["ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:59.107Z"}},{"type":"Public","name":"devenv","owner":"ciao-lang","isFork":false,"description":"Full development environment (Emacs-based)","allTopics":["prolog","ciao","ciao-prolog","emacs"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:57.865Z"}},{"type":"Public","name":"ciao_playground","owner":"ciao-lang","isFork":false,"description":"A playground for Ciao","allTopics":["playground","prolog","webassembly","ciao-prolog"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":1,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:55.599Z"}},{"type":"Public","name":"iso_tests","owner":"ciao-lang","isFork":false,"description":"Tests for ISO Prolog conformance","allTopics":["ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:52.004Z"}},{"type":"Public","name":"lpdoc","owner":"ciao-lang","isFork":false,"description":"Documentation Generator for Prolog","allTopics":["prolog","documentation-generator","ciao","ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:50.786Z"}},{"type":"Public","name":"testsuite","owner":"ciao-lang","isFork":false,"description":"","allTopics":["ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:47.962Z"}},{"type":"Public","name":"website","owner":"ciao-lang","isFork":false,"description":"The Ciao website","allTopics":["ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:44.967Z"}},{"type":"Public","name":"alldocs","owner":"ciao-lang","isFork":false,"description":"Reference manuals for Ciao","allTopics":["prolog","ciao","ciao-prolog"],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:38.476Z"}},{"type":"Public","name":"ciaofmt","owner":"ciao-lang","isFork":false,"description":"","allTopics":["prolog","ciao","ciao-prolog","formatter"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:35.990Z"}},{"type":"Public","name":"ciaodbg","owner":"ciao-lang","isFork":false,"description":"Additional debugging, testing, and profilings for Ciao","allTopics":["debugger","prolog","ciao","ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:33.045Z"}},{"type":"Public","name":"ciao_emacs","owner":"ciao-lang","isFork":false,"description":"Ciao mode for Emacs","allTopics":["prolog","ciao","ciao-prolog","emacs"],"primaryLanguage":{"name":"Emacs Lisp","color":"#c065db"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":3,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:31.564Z"}},{"type":"Public","name":"synch_actions","owner":"ciao-lang","isFork":false,"description":"","allTopics":["ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:28.425Z"}},{"type":"Public","name":"poly_clpq","owner":"ciao-lang","isFork":false,"description":"","allTopics":["ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:25.850Z"}},{"type":"Public","name":"ociao","owner":"ciao-lang","isFork":false,"description":"","allTopics":["ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:23.257Z"}},{"type":"Public","name":"ciaopp_tests","owner":"ciao-lang","isFork":false,"description":"Tests for CiaoPP","allTopics":["ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:21.304Z"}},{"type":"Public","name":"typeslib","owner":"ciao-lang","isFork":false,"description":"","allTopics":["ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:19.328Z"}},{"type":"Public","name":"deepfind","owner":"ciao-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:17.572Z"}},{"type":"Public","name":"ciao_java","owner":"ciao-lang","isFork":false,"description":"","allTopics":["prolog","ciao","ciao-prolog","java"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:14.229Z"}},{"type":"Public","name":"exfilter","owner":"ciao-lang","isFork":false,"description":"Execute and filter (lpdoc plugin)","allTopics":[],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:12.252Z"}},{"type":"Public","name":"lpmake","owner":"ciao-lang","isFork":false,"description":"","allTopics":["ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:10.255Z"}},{"type":"Public","name":"persdb_mysql","owner":"ciao-lang","isFork":false,"description":"","allTopics":["ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T18:22:08.381Z"}},{"type":"Public","name":"ciao_chr","owner":"ciao-lang","isFork":false,"description":"Leuven CHR System ported to Ciao","allTopics":["ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-22T08:05:46.312Z"}},{"type":"Public","name":"ciaowasm","owner":"ciao-lang","isFork":false,"description":"Ciao Prolog for Javascript (w/ WebAssembly)","allTopics":["javascript","prolog","ciao-prolog","webassembly","wasm"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":1,"starsCount":6,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-11T15:56:39.837Z"}},{"type":"Public","name":"tclp","owner":"ciao-lang","isFork":false,"description":"","allTopics":["ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-19T05:23:51.096Z"}},{"type":"Public","name":"wui","owner":"ciao-lang","isFork":false,"description":"Web-based UI for Ciao","allTopics":["ciao-prolog"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-04T08:43:35.969Z"}},{"type":"Public","name":".github","owner":"ciao-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-12T05:28:15.820Z"}},{"type":"Public","name":"ciao_yices","owner":"ciao-lang","isFork":false,"description":"Yices interface for Ciao","allTopics":["ciao-prolog"],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-16T09:48:24.125Z"}}],"repositoryCount":48,"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"}