{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"hazel","owner":"hazelgrove","isFork":false,"description":"Hazel, a live functional programming environment with typed holes","allTopics":["editor","functional-programming","elm","reasonml","holes","ocaml"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":35,"issueCount":233,"starsCount":669,"forksCount":43,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T15:11:51.181Z"}},{"type":"Public","name":"hazelnut-stepper-adga","owner":"hazelgrove","isFork":false,"description":"Dynamics for stepper filter in Agda","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T16:59:08.629Z"}},{"type":"Public","name":"build","owner":"hazelgrove","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T14:22:33.026Z"}},{"type":"Public","name":"dependent-hazelnut","owner":"hazelgrove","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Reason","color":"#ff5847"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-01T01:25:02.331Z"}},{"type":"Public","name":"tylr","owner":"hazelgrove","isFork":false,"description":"a tiny tile-based editor","allTopics":["ocaml","reasonml","js-of-ocaml","holes","structure-editor"],"primaryLanguage":{"name":"Reason","color":"#ff5847"},"pullRequestCount":0,"issueCount":3,"starsCount":263,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T15:09:00.482Z"}},{"type":"Public template","name":"diy-hazelnut","owner":"hazelgrove","isFork":false,"description":"A template for you to implement Hazelnut yourself","allTopics":[],"primaryLanguage":{"name":"Reason","color":"#ff5847"},"pullRequestCount":1,"issueCount":1,"starsCount":17,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T03:18:12.001Z"}},{"type":"Public","name":"hazelnut-dynamics-agda","owner":"hazelgrove","isFork":false,"description":"mechanization paired with <a href=\"https://github.com/hazelgrove/hazelnut-dynamics\">https://github.com/hazelgrove/hazelnut-dynamics</a>","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":1,"issueCount":6,"starsCount":20,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-11T17:58:59.619Z"}},{"type":"Public","name":"hazelnut-polymorphism-agda","owner":"hazelgrove","isFork":true,"description":"Mechanization of polymorphism in hazelnut. ","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-11T17:58:57.237Z"}},{"type":"Public","name":"GRV","owner":"hazelgrove","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":1,"issueCount":4,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T18:04:24.582Z"}},{"type":"Public","name":"tree-sitter-hazel","owner":"hazelgrove","isFork":false,"description":"A tree-sitter parser for the Hazel language","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-17T02:15:03.211Z"}},{"type":"Public","name":"environment","owner":"hazelgrove","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-03T18:10:37.694Z"}},{"type":"Public","name":"hazelgrove.github.io","owner":"hazelgrove","isFork":false,"description":"Website for hazelgrove project","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-31T18:39:09.689Z"}},{"type":"Public","name":"error-localization-agda","owner":"hazelgrove","isFork":false,"description":"Mechanization of the marked lambda calculus, a judgmental framework for total bidirectional type error localization and recovery.","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":2,"issueCount":1,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-28T16:16:54.377Z"}},{"type":"Public","name":"error-localization-paper","owner":"hazelgrove","isFork":false,"description":"Total type error localization and recovery with holes.","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-19T18:43:56.308Z"}},{"type":"Public","name":"tylr-build","owner":"hazelgrove","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":"2023-12-18T19:23:51.673Z"}},{"type":"Public","name":"error-localization-artifact","owner":"hazelgrove","isFork":false,"description":"POPL 2024 artifact for Total Type Error Localization and Recovery with Holes","allTopics":[],"primaryLanguage":{"name":"Reason","color":"#ff5847"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-15T05:26:16.789Z"}},{"type":"Public","name":"chatLSP","owner":"hazelgrove","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-16T22:41:26.363Z"}},{"type":"Public","name":"total-typing","owner":"hazelgrove","isFork":false,"description":"Formalization of the Hazel 3 type system, loosely as-implemented","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-24T06:10:53.141Z"}},{"type":"Public","name":"assistant_rl_specification","owner":"hazelgrove","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-24T00:58:03.585Z"}},{"type":"Public","name":"assistant-paper","owner":"hazelgrove","isFork":false,"description":"Hazel assistant paper drafts","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-30T05:27:48.525Z"}},{"type":"Public","name":"phi","owner":"hazelgrove","isFork":false,"description":"Proposals for Hazel Improvements (PHIs)","allTopics":[],"primaryLanguage":null,"pullRequestCount":12,"issueCount":0,"starsCount":1,"forksCount":1,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-09T19:28:10.031Z"}},{"type":"Public","name":"grain","owner":"hazelgrove","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Reason","color":"#ff5847"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-03T08:53:10.718Z"}},{"type":"Public","name":"hazelnut-agda","owner":"hazelgrove","isFork":false,"description":"Mechanization of Hazelnut with product, sum, and recursive types.","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-21T15:06:11.525Z"}},{"type":"Public","name":"patterns-agda","owner":"hazelgrove","isFork":false,"description":"A mechanization of \"Pattern Matching with Typed Holes\"","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-03T07:45:07.225Z"}},{"type":"Public","name":"agda-popl17","owner":"hazelgrove","isFork":false,"description":"Mechanization of Hazelnut, as submitted to POPL 2017","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":1,"starsCount":16,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-24T19:57:31.423Z"}},{"type":"Public","name":"livelits-paper","owner":"hazelgrove","isFork":false,"description":"Filling Typed Holes with Live GUIs","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-14T07:07:30.158Z"}},{"type":"Public","name":"hazelnut-livelits-agda","owner":"hazelgrove","isFork":false,"description":"mechanization for livelits paper, <a href=\"https://github.com/hazelgrove/livelits-paper\">https://github.com/hazelgrove/livelits-paper</a>","allTopics":["agda","proofs"],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":4,"starsCount":5,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-07T03:25:46.445Z"}},{"type":"Public","name":"definitively-hazel","owner":"hazelgrove","isFork":false,"description":"Definitively Hazel (The Definition of the Hazel Programming Environment)","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-24T22:47:23.436Z"}},{"type":"Public","name":"grove-paper","owner":"hazelgrove","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-19T19:03:31.428Z"}},{"type":"Public","name":"hazelnat-myth-agda","owner":"hazelgrove","isFork":false,"description":"The mechanization of our ongoing work on type+example synthesis with big-step hazelnut dynamics","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-20T00:50:24.655Z"}}],"repositoryCount":54,"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"}