{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"reason-maintenance","owner":"metareflection","isFork":false,"description":"Towards a Modern Truth-Maintenance System and Inference Engine","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-19T23:50:37.355Z"}},{"type":"Public","name":"plti-class","owner":"metareflection","isFork":false,"description":"Programming Language Theory Implementation Class","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T01:32:24.809Z"}},{"type":"Public","name":"poof","owner":"metareflection","isFork":false,"description":"Prototypes: Object Orientation, Functionally","allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":2,"issueCount":0,"starsCount":41,"forksCount":5,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-14T00:25:13.234Z"}},{"type":"Public","name":"www-harvard","owner":"metareflection","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-13T23:36:17.145Z"}},{"type":"Public","name":"www-research","owner":"metareflection","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-11T18:53:06.172Z"}},{"type":"Public","name":"clpllm","owner":"metareflection","isFork":false,"description":"CLP(LLM) -- using an LLM as a constraint solver","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-18T11:31:36.418Z"}},{"type":"Public","name":"ragdoc","owner":"metareflection","isFork":false,"description":"RAG over docs","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-16T04:21:32.903Z"}},{"type":"Public","name":"dafny","owner":"metareflection","isFork":true,"description":"Dafny is a verification-aware programming language","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":256,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-15T12:01:49.553Z"}},{"type":"Public","name":"class","owner":"metareflection","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-15T05:37:18.222Z"}},{"type":"Public","name":"faster-minikanren","owner":"metareflection","isFork":true,"description":"A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.","allTopics":[],"primaryLanguage":{"name":"Scheme","color":"#1e4aec"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":36,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-12T01:55:45.962Z"}},{"type":"Public","name":"synthesis-scheme","owner":"metareflection","isFork":false,"description":"explorations of Scheme synthesis in Scheme","allTopics":["scheme","synthesis","monte-carlo-tree-search","a-star-search"],"primaryLanguage":{"name":"Scheme","color":"#1e4aec"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-24T22:33:10.886Z"}},{"type":"Public","name":"metareflection.github.io","owner":"metareflection","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-11T00:42:13.243Z"}},{"type":"Public","name":"llm-mysteries","owner":"metareflection","isFork":false,"description":"LLMs to reason about whodunit mysteries","allTopics":["ai","truth-maintenance","llm"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-08T14:45:22.149Z"}},{"type":"Public","name":"synthesis-class","owner":"metareflection","isFork":false,"description":"CS252R Advanced Topics in Programming Languages (Fall 2023)","allTopics":["class","synthesis","harvard"],"primaryLanguage":{"name":"Scheme","color":"#1e4aec"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-11T20:54:46.107Z"}},{"type":"Public","name":"certified-reasoning","owner":"metareflection","isFork":true,"description":"Certified Reasoning with Language Models","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-05T18:14:55.290Z"}},{"type":"Public","name":"synthesis-scala-bus","owner":"metareflection","isFork":false,"description":"Bottom-Up Enumerative Search in Scala","allTopics":["scala","synthesis"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-28T15:20:41.325Z"}},{"type":"Public","name":"dolorem-c","owner":"metareflection","isFork":false,"description":"Dolorem with a C target","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-06T19:46:00.138Z"}}],"repositoryCount":17,"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":"metareflection repositories"}