{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"liquid-fixpoint","owner":"ucsd-progsys","isFork":false,"description":"Horn Clause Constraint Solving for Liquid Types","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":4,"issueCount":33,"starsCount":128,"forksCount":58,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-21T01:10:01.704Z"}},{"type":"Public","name":"liquidhaskell","owner":"ucsd-progsys","isFork":false,"description":"Liquid Types For Haskell","topicNames":["verification","refinement-types","smt","haskell"],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":19,"issueCount":469,"starsCount":1151,"forksCount":130,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-09T22:43:48.093Z"}},{"type":"Public","name":"lh-plugin-demo","owner":"ucsd-progsys","isFork":false,"description":"A small package that demonstrates how to use LiquidHaskell as a GHC plugin","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":4,"starsCount":23,"forksCount":12,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-07T22:39:49.124Z"}},{"type":"Public","name":"liquid-server","owner":"ucsd-progsys","isFork":false,"description":"Web Server for Liquid-Types demos.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":2,"issueCount":4,"starsCount":3,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-24T02:49:31.093Z"}},{"type":"Public","name":"elsa","owner":"ucsd-progsys","isFork":false,"description":"Elsa is a lambda calculus evaluator ","topicNames":["haskell","haskell-learning","lambda-calculus","reduction"],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":180,"forksCount":20,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-05T21:54:20.894Z"}},{"type":"Public","name":"liquidhaskell-tutorial","owner":"ucsd-progsys","isFork":false,"description":"Tutorial for LiquidHaskell","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":1,"issueCount":35,"starsCount":72,"forksCount":27,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-31T00:44:11.959Z"}},{"type":"Public","name":"lh-plugin-demo-client","owner":"ucsd-progsys","isFork":false,"description":"Client package that shows how to import LH specifications from an external package","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-28T19:33:26.991Z"}},{"type":"Public","name":"liquidhaskell-blog","owner":"ucsd-progsys","isFork":false,"description":"LiquidHaskell blog","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":3,"starsCount":8,"forksCount":11,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-23T17:02:32.098Z"}},{"type":"Public","name":"lh-workshop","owner":"ucsd-progsys","isFork":false,"description":"Materials for 2-hr LiquidHaskell Workshop","topicNames":["haskell","liquidhaskell"],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":1,"starsCount":11,"forksCount":5,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-30T19:10:37.627Z"}},{"type":"Public","name":"230-wi19-web","owner":"ucsd-progsys","isFork":false,"description":"Public course materials for CSE 230 (Winter 2019)","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":6,"issueCount":0,"starsCount":27,"forksCount":24,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-08T23:42:13.332Z"}},{"type":"Public","name":"rest","owner":"ucsd-progsys","isFork":true,"description":"A library for rewriting","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-05T18:55:38.065Z"}},{"type":"Public","name":"mist","owner":"ucsd-progsys","isFork":false,"description":"A tiny language for teaching and experimenting with Refinement Types","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":47,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-22T08:13:58.735Z"}},{"type":"Public","name":"intro-refinement-types","owner":"ucsd-progsys","isFork":false,"description":"Introductory Tutorial on Refinement Types","topicNames":["haskell","smt","refinement-types","liquidhaskell"],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":1,"issueCount":1,"starsCount":8,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-05T00:05:22.367Z"}},{"type":"Public","name":"131-web","owner":"ucsd-progsys","isFork":false,"description":"Public course materials for CSE 131 (Compilers)","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":2,"issueCount":0,"starsCount":18,"forksCount":15,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-22T07:39:29.595Z"}},{"type":"Public","name":"proofs-of-data","owner":"ucsd-progsys","isFork":false,"description":"Proving properties of various data structures with LiquidHaskell (Port of Appel's VFA) ","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-04T01:32:35.205Z"}},{"type":"Public","name":"liquid-sf","owner":"ucsd-progsys","isFork":false,"description":"Port \"Software Foundations\" to LiquidHaskell","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":11,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-03T23:29:00.914Z"}},{"type":"Public","name":"130-sp19","owner":"ucsd-progsys","isFork":false,"description":"UCSD CSE 130 Spring 2019","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-31T15:54:47.198Z"}},{"type":"Public","name":"liquidhaskell-cabal","owner":"ucsd-progsys","isFork":true,"description":"Liquid Haskell integration for Cabal and stack","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-25T18:46:46.617Z"}},{"type":"Public","name":"liquidhaskell-cabal-demo","owner":"ucsd-progsys","isFork":true,"description":"Demo of Liquid Haskell integration for Cabal and stack (see spinda/liquidhaskell-cabal)","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-25T18:46:37.118Z"}},{"type":"Public","name":"cse130-web","owner":"ucsd-progsys","isFork":true,"description":"Web page for CSE 130","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":14,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-20T16:28:19.964Z"}},{"type":"Public","name":"goto-dsolve-z3","owner":"ucsd-progsys","isFork":false,"description":"goto-repo for dsolve-external-z3","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-21T05:35:34.666Z"}},{"type":"Public","name":"goto-dsolve-misc","owner":"ucsd-progsys","isFork":false,"description":"goto-repo for dsolve-external-misc","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-21T05:34:38.551Z"}},{"type":"Public","name":"goto-dsolve-ocamlgraph","owner":"ucsd-progsys","isFork":false,"description":"goto-repo for dsolve-external-ocamlgraph","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-21T05:31:47.900Z"}},{"type":"Public","name":"dsolve-z3","owner":"ucsd-progsys","isFork":false,"description":"goto-repo for dsolve-external-z3","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-21T05:29:13.987Z"}},{"type":"Public","name":"fixpoint","owner":"ucsd-progsys","isFork":false,"description":"Old (Ocaml) based fixpoint solver for dsolve","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-10-31T16:40:41.040Z"}},{"type":"Public","name":"nanomaly","owner":"ucsd-progsys","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":4,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-22T02:38:54.417Z"}},{"type":"Public","name":"liquid-client-retro","owner":"ucsd-progsys","isFork":false,"description":"Templates for generating plain HTML tutorials with embedded LiquidHaskell text panes","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-02-16T15:47:55.807Z"}},{"type":"Public","name":"reasoning-about-functions","owner":"ucsd-progsys","isFork":false,"description":"Slides for talk about Refinement Reflection and Proof by Logical Evaluation","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-30T05:02:27.909Z"}},{"type":"Public","name":"liquid-client","owner":"ucsd-progsys","isFork":false,"description":"Client side web pages with text-panes that interact with liquid-server","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-22T06:38:15.748Z"}},{"type":"Public","name":"live","owner":"ucsd-progsys","isFork":false,"description":"Slides for talk on Language-Integrated Verification","topicNames":["haskell","types","smt"],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-16T20:26:10.718Z"}}],"repositoryCount":56,"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}