{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"touist","owner":"touist","isFork":false,"description":"TouIST, the IDE &amp; Language for Logic (backed by SAT, SMT and QBF solvers)","allTopics":["education","research","problem-solving","propositional-logic","minisat","smt-lib","sat","dimacs","yices","ocaml","smt","qbf"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":3,"starsCount":65,"forksCount":12,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-18T12:02:38.531Z"}},{"type":"Public","name":"touist-vscode","owner":"touist","isFork":false,"description":"An extension for VS Code which provides support for the TouIST language.","allTopics":["vscode-extension","touist","tmlanguage"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-03T08:29:29.992Z"}},{"type":"Public","name":"homebrew-touist","owner":"touist","isFork":false,"description":"🍺 Homebrew repo for the TouIST formula (and some solvers)","allTopics":["homebrew-tap","homebrew"],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":1,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-12T08:43:44.060Z"}},{"type":"Public","name":"touistplan","owner":"touist","isFork":false,"description":"Translate PDDL planning problems to touist","allTopics":["touist","ocaml","pddl","ocamllex"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-17T13:35:17.503Z"}},{"type":"Public","name":"touist.github.io","owner":"touist","isFork":false,"description":"Webpage for TouIST (mirror: <a href=\"http://touist.github.io\" rel=\"nofollow\">http://touist.github.io</a>)","allTopics":["touist"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-12T12:02:11.968Z"}},{"type":"Public","name":"touist-vim","owner":"touist","isFork":false,"description":"Vim syntax support for the TouIST language (highly experimental, proof of concept)","allTopics":["touist","vim"],"primaryLanguage":{"name":"Vim Script","color":"#199f4b"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-22T10:22:40.038Z"}}],"repositoryCount":6,"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":"touist repositories"}