{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"ghc-wasm-bindists","owner":"tweag","isFork":false,"description":"Stable links for various GHC WASM bindists","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":1,"starsCount":6,"forksCount":0,"license":null,"participation":[0,0,0,0,2,4,2,1,1,1,1,2,2,1,2,3,1,1,1,2,1,1,1,2,1,1,1,2,2,1,1,1,1,3,1,1,0,0,4,2,1,2,2,4,2,1,1,1,1,1,1,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-19T18:32:27.584Z"}},{"type":"Public","name":"timestats","owner":"tweag","isFork":false,"description":"A library to profile time in a Haskell program","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":17,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-18T18:08:27.917Z"}},{"type":"Public","name":"ormolu","owner":"tweag","isFork":false,"description":"A formatter for Haskell source code","topicNames":["haskell","formatter"],"topicsNotShown":0,"allTopics":["haskell","formatter"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":3,"issueCount":57,"starsCount":925,"forksCount":83,"license":"Other","participation":[3,2,2,0,4,1,0,0,0,0,3,1,2,2,2,4,1,0,0,0,0,1,4,0,0,0,0,0,2,0,1,2,0,1,4,1,2,2,1,1,0,0,3,0,0,0,0,0,0,1,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-18T12:30:42.976Z"}},{"type":"Public","name":"webauthn","owner":"tweag","isFork":false,"description":"A library for parsing and validating webauthn/fido2 credentials","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":18,"starsCount":33,"forksCount":11,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,2,4,3,0,0,0,0,0,0,0,0,0,0,5,3,0,0,0,7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,0,0,0,0,0,8],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T10:27:20.937Z"}},{"type":"Public","name":"cooked-validators","owner":"tweag","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":4,"issueCount":18,"starsCount":36,"forksCount":11,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T13:01:47.570Z"}},{"type":"Public","name":"cooked-smart-contracts","owner":"tweag","isFork":false,"description":"Smart contracts for the Cardano blockchain written with Cooked-validators","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T09:58:53.646Z"}},{"type":"Public","name":"ghc-wasm-miso-examples","owner":"tweag","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":16,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T10:17:44.785Z"}},{"type":"Public","name":"graft","owner":"tweag","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":3,"starsCount":4,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T23:12:04.293Z"}},{"type":"Public","name":"servant-template","owner":"tweag","isFork":false,"description":"A modern template for a Servant","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":6,"starsCount":50,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T14:23:28.768Z"}},{"type":"Public","name":"linear-base","owner":"tweag","isFork":false,"description":"Standard library for linear types in Haskell.","topicNames":["haskell","linear-types"],"topicsNotShown":0,"allTopics":["haskell","linear-types"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":9,"issueCount":45,"starsCount":332,"forksCount":38,"license":"MIT License","participation":[0,2,0,1,0,1,0,0,0,0,0,0,0,3,1,0,0,0,0,0,2,4,0,0,1,2,0,2,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-09T08:13:29.815Z"}},{"type":"Public","name":"HaskellR","owner":"tweag","isFork":false,"description":"The full power of R in Haskell.","topicNames":["r","ffi","interoperability","haskell"],"topicsNotShown":0,"allTopics":["r","ffi","interoperability","haskell"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":6,"issueCount":20,"starsCount":579,"forksCount":47,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-02T23:06:42.569Z"}},{"type":"Public","name":"gazelle_haskell_modules","owner":"tweag","isFork":false,"description":"A gazelle extension to generate haskell_module rules","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":5,"starsCount":3,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-19T15:58:05.384Z"}},{"type":"Public","name":"gazelle_cabal","owner":"tweag","isFork":false,"description":"A gazelle extension to produce Haskell rules from cabal files","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":3,"issueCount":13,"starsCount":13,"forksCount":5,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,5,0,0,0,0,20,0,0,3,0,0,29,0,0,1,0,0,0,0,0,9,2,5,0,0,7,0,3,0,0,1,0,0,0,1,1,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T08:20:40.833Z"}},{"type":"Public","name":"skyscope","owner":"tweag","isFork":false,"description":"A tool for visualising and exploring Bazel Skyframe graphs.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":9,"starsCount":48,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-21T09:19:23.737Z"}},{"type":"Public","name":"ghc","owner":"tweag","isFork":true,"description":"Fork of official GHC repository.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":3,"issueCount":13,"starsCount":45,"forksCount":704,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-09T17:46:48.048Z"}},{"type":"Public","name":"smtlib-backends","owner":"tweag","isFork":false,"description":"A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.","topicNames":["haskell-library","smtlib2"],"topicsNotShown":0,"allTopics":["haskell-library","smtlib2"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":0,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,7,0,0,0,0,0,0,0,2,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T14:24:08.121Z"}},{"type":"Public","name":"funflow","owner":"tweag","isFork":false,"description":"Functional workflows","topicNames":["workflow","reproducible-research","content-addressable-storage"],"topicsNotShown":0,"allTopics":["workflow","reproducible-research","content-addressable-storage"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":33,"starsCount":360,"forksCount":32,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T06:37:52.040Z"}},{"type":"Public","name":"capability","owner":"tweag","isFork":false,"description":"Extensional capabilities and deriving combinators","topicNames":["haskell","effects","haskell-library","capabilities","extensible-effects","mtl","capability"],"topicsNotShown":0,"allTopics":["haskell","effects","haskell-library","capabilities","extensible-effects","mtl","capability"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":9,"starsCount":214,"forksCount":9,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-08T12:21:41.802Z"}},{"type":"Public","name":"linear-dest","owner":"tweag","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-15T15:39:54.772Z"}},{"type":"Public","name":"distributed-closure","owner":"tweag","isFork":false,"description":"Serializable closures for distributed programming.","topicNames":["serializable-closures","static-pointers"],"topicsNotShown":0,"allTopics":["serializable-closures","static-pointers"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":2,"starsCount":64,"forksCount":7,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-27T11:35:27.164Z"}},{"type":"Public","name":"inline-java","owner":"tweag","isFork":false,"description":"Haskell/Java interop via inline Java code in Haskell modules.","topicNames":["java","interoperability","haskell","jvm","ffi","jni"],"topicsNotShown":0,"allTopics":["java","interoperability","haskell","jvm","ffi","jni"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":11,"starsCount":228,"forksCount":17,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-25T19:14:28.165Z"}},{"type":"Public","name":"mm-daml-contract","owner":"tweag","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-11T16:45:18.444Z"}},{"type":"Public","name":"smart-contracts-lh","owner":"tweag","isFork":false,"description":"Plutus smart contracts verified with Liquid Haskell","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-09T21:07:19.158Z"}},{"type":"Public archive","name":"pirouette","owner":"tweag","isFork":false,"description":"Language-generic workbench for building static analysis","topicNames":["symbolic-execution","formal-verification","system-f","haskell"],"topicsNotShown":0,"allTopics":["symbolic-execution","formal-verification","system-f","haskell"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":19,"starsCount":47,"forksCount":2,"license":"MIT License","participation":[1,0,0,3,1,0,0,0,0,0,0,0,0,0,0,2,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-05T12:31:19.738Z"}},{"type":"Public","name":"cabal","owner":"tweag","isFork":true,"description":"Official upstream development repository for Cabal and cabal-install","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":676,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-09T13:04:27.745Z"}},{"type":"Public","name":"kernmantle","owner":"tweag","isFork":false,"description":"Braiding extensible effects together in a pipeline/workflow of tasks","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":1,"starsCount":56,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-08T08:16:31.996Z"}},{"type":"Public","name":"nixfmt","owner":"tweag","isFork":true,"description":"A formatter for Nix code","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":24,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T03:50:15.215Z"}},{"type":"Public","name":"inline-js","owner":"tweag","isFork":false,"description":"Call JavaScript from Haskell, and vice versa!","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":6,"starsCount":128,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-14T17:27:52.991Z"}},{"type":"Public","name":"sparkle","owner":"tweag","isFork":false,"description":"Haskell on Apache Spark.","topicNames":["spark","apache-spark","analytics","haskell"],"topicsNotShown":0,"allTopics":["spark","apache-spark","analytics","haskell"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":15,"starsCount":444,"forksCount":30,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-01T17:37:04.594Z"}},{"type":"Public","name":"haskell-training","owner":"tweag","isFork":false,"description":"Material for Haskell training","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":7,"starsCount":31,"forksCount":5,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-23T16:58:59.470Z"}}],"repositoryCount":86,"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"}