{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"mlscript","owner":"hkust-taco","isFork":false,"description":"The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!","allTopics":["type-inference","functional-programming"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":9,"issueCount":23,"starsCount":140,"forksCount":24,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-17T11:41:32.546Z"}},{"type":"Public","name":"mlstruct","owner":"hkust-taco","isFork":false,"description":"Codebase for the paper \"MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types\"","allTopics":["functional-programming","type-inference"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":1,"starsCount":28,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-18T08:18:28.043Z"}},{"type":"Public","name":"ucs-web-demo","owner":"hkust-taco","isFork":false,"description":"The web demo of the implementation of Ultimate Conditional Syntax in MLscript. This is a part of the artifact for paper \"The Ultimate Conditional Syntax\".","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T16:06:02.994Z"}},{"type":"Public","name":"lumberhack","owner":"hkust-taco","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-09T15:49:47.757Z"}},{"type":"Public","name":"ucs","owner":"hkust-taco","isFork":false,"description":"Artifact for paper \"The Ultimate Conditional Syntax\" at OOPSLA 2024.","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-07T07:31:15.313Z"}},{"type":"Public","name":"superf","owner":"hkust-taco","isFork":false,"description":"Artifact for paper \"When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism\" (<a href=\"https://popl24.sigplan.org/details/POPL-2024-popl-research-papers/50\" rel=\"nofollow\">https://popl24.sigplan.org/details/POPL-2024-popl-research-papers/50</a>)","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T07:42:48.311Z"}},{"type":"Public","name":"metaprogramming-web-demo","owner":"hkust-taco","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T10:44:19.584Z"}},{"type":"Public","name":"mlscript-syntax-highlighting","owner":"hkust-taco","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-16T11:58:10.636Z"}},{"type":"Public","name":"hmloc","owner":"hkust-taco","isFork":false,"description":"Getting Into The Flow: Better Type Error Messages for Constraint-Based Type Inference (Artifact) <a href=\"https://dl.acm.org/doi/10.1145/3622812\" rel=\"nofollow\">https://dl.acm.org/doi/10.1145/3622812</a>","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-13T09:10:51.045Z"}},{"type":"Public","name":"superoop","owner":"hkust-taco","isFork":false,"description":"Artifact for paper \"super-charging Object-Oriented Programming through Precise Typing of Open Recursion\" at ECOOP 2023 (<a href=\"https://2023.ecoop.org/details/ecoop-2023-papers/41\" rel=\"nofollow\">https://2023.ecoop.org/details/ecoop-2023-papers/41</a>)","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-20T17:23:58.781Z"}},{"type":"Public","name":"koka-ctrc","owner":"hkust-taco","isFork":false,"description":"koka constant time memory management hack","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-05T05:02:38.544Z"}},{"type":"Public","name":"f-multi-sub-fcc","owner":"hkust-taco","isFork":true,"description":"Coq formalization of F{≤} ~&gt; System Fcc (coercion framework)","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-26T01:16:07.224Z"}}],"repositoryCount":12,"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":"hkust-taco repositories"}