{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"l4-lp","owner":"smucclaw","isFork":false,"description":"Fully in-browser IDE and rule engine for L4 (a DSL for business rules), along with various language binding libraries","allTopics":["python","clojure","clojurescript","dsl","prolog","wasm","swi-prolog","term-rewriting"],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,49,46,6,3,84,62,31,12,8,44,55,28,90,59,44,21,8,12,22,37,13,18,8,8,7,5,4,10,7,5,7],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-30T02:02:52.650Z"}},{"type":"Public","name":"gsheet","owner":"smucclaw","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":1,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":[7,3,5,2,1,1,1,1,1,1,3,2,1,1,3,1,3,3,4,2,2,1,1,1,1,2,1,3,2,3,5,6,2,1,5,1,4,1,4,6,4,6,0,1,1,0,0,4,1,0,1,6],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-30T02:01:59.442Z"}},{"type":"Public","name":"logical-english-client","owner":"smucclaw","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-30T01:28:45.818Z"}},{"type":"Public","name":"lam4","owner":"smucclaw","isFork":false,"description":"A functional (and hopefully in the near future, solver-aided) DSL for the law","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":3,"issueCount":45,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-28T11:44:59.146Z"}},{"type":"Public","name":"dsl","owner":"smucclaw","isFork":false,"description":"Domain Specific Languages for Computational Law","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":10,"starsCount":66,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-26T06:58:26.756Z"}},{"type":"Public","name":"vue-pure-pdpa","owner":"smucclaw","isFork":false,"description":"Vue app in purescript for PDPA use case","allTopics":[],"primaryLanguage":{"name":"PureScript","color":"#1D222D"},"pullRequestCount":2,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":[2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,5,0,0,0,0,4,9,0,9,14,1,8],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-26T06:19:15.653Z"}},{"type":"Public","name":"simala","owner":"smucclaw","isFork":false,"description":"simala is short for \"simplified math lang\"; it's yet another possible core language / translation target for L4","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,18,4,0,0,0,5,0,3,1,4,10,3],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-25T09:45:50.286Z"}},{"type":"Public","name":"sandbox","owner":"smucclaw","isFork":false,"description":"Learning exercises, random art, and code that will never, ever go into production","allTopics":[],"primaryLanguage":{"name":"Grammatical Framework","color":"#ff0000"},"pullRequestCount":0,"issueCount":14,"starsCount":4,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-24T06:54:08.317Z"}},{"type":"Public","name":"setup-swi-prolog","owner":"smucclaw","isFork":true,"description":"Setup SWI-Prolog action","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-23T01:04:45.235Z"}},{"type":"Public","name":"dmn","owner":"smucclaw","isFork":false,"description":"Decision Model & Notation to L4","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-19T10:12:41.356Z"}},{"type":"Public","name":"internal_docs","owner":"smucclaw","isFork":false,"description":"Internal documentation for L4 development","allTopics":[],"primaryLanguage":null,"pullRequestCount":2,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-19T17:50:11.155Z"}},{"type":"Public","name":"LogicalEnglish","owner":"smucclaw","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-31T02:34:07.088Z"}},{"type":"Public","name":"lag","owner":"smucclaw","isFork":false,"description":"Logic-Augmented Generation","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-29T05:08:00.206Z"}},{"type":"Public","name":"fv","owner":"smucclaw","isFork":false,"description":"Formal Methods for computational law","allTopics":[],"primaryLanguage":{"name":"Alloy","color":"#64C800"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-25T14:02:45.890Z"}},{"type":"Public","name":"oldmathlangts","owner":"smucclaw","isFork":false,"description":"runtime for the circa-2024 meng's mathlang, soon to be deprecated in favour of 2024 Haskell-based (or lam4) mathlang","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-18T16:25:53.014Z"}},{"type":"Public","name":"baby-l4","owner":"smucclaw","isFork":false,"description":"A miniature version of the l4 language","allTopics":[],"primaryLanguage":{"name":"Grammatical Framework","color":"#ff0000"},"pullRequestCount":0,"issueCount":22,"starsCount":9,"forksCount":6,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-15T02:18:55.185Z"}},{"type":"Public","name":"complaw","owner":"smucclaw","isFork":false,"description":"Main repository for the Research Programme in Computational Law","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":1,"issueCount":1,"starsCount":30,"forksCount":12,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T23:09:52.401Z"}},{"type":"Public archive","name":"l4-rule-engine","owner":"smucclaw","isFork":false,"description":"Experimental rule engine backend for L4","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-09T12:01:42.232Z"}},{"type":"Public","name":"documentation","owner":"smucclaw","isFork":false,"description":"L4 Documentation for all users","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-08T03:58:33.727Z"}},{"type":"Public","name":"ide","owner":"smucclaw","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":1,"issueCount":2,"starsCount":0,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-16T16:53:02.516Z"}},{"type":"Public","name":"l4-query","owner":"smucclaw","isFork":false,"description":"Query language for blending L4 and LLM reasoning / using L4 in conjunction with more stochastic approaches","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":3,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-14T18:18:42.330Z"}},{"type":"Public","name":"docker-swish","owner":"smucclaw","isFork":true,"description":"Docker file for SWISH","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":9,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T02:25:14.995Z"}},{"type":"Public","name":"pdpa-exps","owner":"smucclaw","isFork":false,"description":"Experiments modelling the PDPA in Forge","allTopics":[],"primaryLanguage":{"name":"GLSL","color":"#5686a5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T15:43:10.362Z"}},{"type":"Public","name":"swish","owner":"smucclaw","isFork":true,"description":"SWI-Prolog for SHaring: a SWI-Prolog web IDE","allTopics":[],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":128,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-30T02:15:38.813Z"}},{"type":"Public","name":"gf-core","owner":"smucclaw","isFork":true,"description":"Grammatical Framework core: compiler, shell & runtimes","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":35,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-30T00:59:06.349Z"}},{"type":"Public archive","name":"guan_wasm","owner":"smucclaw","isFork":false,"description":"Experiments at getting the Guan logic engine running on wasm, via F# and Bolero","allTopics":[],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-20T10:38:52.680Z"}},{"type":"Public","name":"expert_sys_exps","owner":"smucclaw","isFork":false,"description":"Expert system experiments","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-17T09:38:55.572Z"}},{"type":"Public","name":"jsonform_test_cclaw","owner":"smucclaw","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-16T08:19:40.771Z"}},{"type":"Public","name":"prolog","owner":"smucclaw","isFork":true,"description":"A prolog interpreter written in Haskell.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":15,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-18T09:22:02.799Z"}},{"type":"Public","name":"example-l4-form-app","owner":"smucclaw","isFork":false,"description":"A simple example where we use L4 to declaratively populate a JSON Forms web form app (in particular, its structure)","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-01T08:28:19.859Z"}}],"repositoryCount":71,"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":"smucclaw repositories"}