{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"PutnamBench","owner":"trishullab","isFork":false,"description":"An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language. ","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":2,"issueCount":0,"starsCount":11,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-12T14:35:24.635Z"}},{"type":"Public","name":"Quasimodo","owner":"trishullab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":3,"starsCount":5,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-03T02:58:04.281Z"}},{"type":"Public","name":"cflobdd","owner":"trishullab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-03T02:08:35.346Z"}},{"type":"Public","name":"copra","owner":"trishullab","isFork":false,"description":"COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":38,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-15T18:53:28.791Z"}},{"type":"Public","name":"flora","owner":"trishullab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T09:53:02.820Z"}},{"type":"Public","name":"cosmos-web","owner":"trishullab","isFork":false,"description":"Website accompanying <a href=\"https://github.com/trishullab/cosmos\">https://github.com/trishullab/cosmos</a>","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T07:59:09.996Z"}},{"type":"Public","name":"cosmos","owner":"trishullab","isFork":false,"description":"Code release for \"Neurosymbolic Grounding for Compositional World Models\"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-01T22:11:25.794Z"}},{"type":"Public","name":"trishullab.github.io","owner":"trishullab","isFork":false,"description":"Trishul lab's public-facing website","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-21T05:34:04.132Z"}},{"type":"Public","name":"trishulweb.github.io","owner":"trishullab","isFork":false,"description":"Public-facing website for Trishullab","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-20T22:07:21.774Z"}},{"type":"Public","name":"tapas","owner":"trishullab","isFork":false,"description":"Texas Python Analyzer","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-28T21:16:48.988Z"}},{"type":"Public","name":"bayou","owner":"trishullab","isFork":false,"description":"System for synthesizing Java API idioms, powered by Neural Sketch Learning","allTopics":["machine-learning","java","synthesis"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":16,"issueCount":17,"starsCount":276,"forksCount":81,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-14T22:19:31.879Z"}},{"type":"Public","name":"ampersand","owner":"trishullab","isFork":false,"description":"Neurosymbolic Algorithms for Machine Programming and Reasoning ","allTopics":["machine-learning","theorem-proving","program-synthesis","neurosymbolic"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-01T18:47:28.714Z"}},{"type":"Public","name":"near","owner":"trishullab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":23,"forksCount":11,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-09T19:09:19.114Z"}},{"type":"Public","name":"houdini","owner":"trishullab","isFork":false,"description":"HOUDINI: Lifelong Learning as Program Synthesis","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":48,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-17T16:25:52.008Z"}},{"type":"Public","name":"askbayou","owner":"trishullab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":5,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-15T05:04:07.859Z"}},{"type":"Public","name":"salento","owner":"trishullab","isFork":false,"description":"Statistical bug-finding framework for API-using code","allTopics":["machine-learning","apis","bug-finding"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":3,"starsCount":6,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-31T22:10:00.180Z"}},{"type":"Public","name":"trialpack","owner":"trishullab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-01T00:29:30.335Z"}}],"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":"trishullab repositories"}