{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"graft","owner":"tweag","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"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":"ormolu","owner":"tweag","isFork":false,"description":"A formatter for Haskell source code","topicNames":["haskell","formatter"],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":4,"issueCount":57,"starsCount":923,"forksCount":83,"license":"Other","participation":[5,6,1,3,0,4,1,0,0,0,0,3,1,2,2,0,6,1,0,0,0,0,0,5,0,0,0,0,0,2,0,1,2,0,1,1,4,2,1,2,1,0,0,3,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T20:43:32.951Z"}},{"type":"Public","name":"ghc-wasm-miso-examples","owner":"tweag","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T22:14:35.665Z"}},{"type":"Public","name":"servant-template","owner":"tweag","isFork":false,"description":"A modern template for a Servant","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":6,"starsCount":49,"forksCount":7,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T14:23:28.768Z"}},{"type":"Public","name":"cooked-validators","owner":"tweag","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":4,"issueCount":8,"starsCount":36,"forksCount":11,"license":"MIT License","participation":[0,1,0,0,1,1,1,8,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,3,4,7,0,0,4,12,2,0,0,1,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T17:38:00.713Z"}},{"type":"Public","name":"linear-base","owner":"tweag","isFork":false,"description":"Standard library for linear types in Haskell.","topicNames":["haskell","linear-types"],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":9,"issueCount":45,"starsCount":333,"forksCount":38,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-09T08:13:29.815Z"}},{"type":"Public","name":"webauthn","owner":"tweag","isFork":false,"description":"A library for parsing and validating webauthn/fido2 credentials","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":17,"starsCount":33,"forksCount":11,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-04T07:41:03.710Z"}},{"type":"Public","name":"HaskellR","owner":"tweag","isFork":false,"description":"The full power of R in Haskell.","topicNames":["r","ffi","interoperability","haskell"],"topicsNotShown":0,"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,"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,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":13,"starsCount":13,"forksCount":5,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-11T10:09:47.086Z"}},{"type":"Public","name":"skyscope","owner":"tweag","isFork":false,"description":"A tool for visualising and exploring Bazel Skyframe graphs.","topicNames":[],"topicsNotShown":0,"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":"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,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":0,"license":"MIT License","participation":null,"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,"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,"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,"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,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":2,"starsCount":64,"forksCount":7,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"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,"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":"timestats","owner":"tweag","isFork":false,"description":"A library to profile time in a Haskell program","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":17,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-05T19:39:32.917Z"}},{"type":"Public","name":"mm-daml-contract","owner":"tweag","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"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":"ghc","owner":"tweag","isFork":true,"description":"Fork of official GHC repository.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":3,"issueCount":13,"starsCount":46,"forksCount":703,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-09T17:46:48.048Z"}},{"type":"Public","name":"smart-contracts-lh","owner":"tweag","isFork":false,"description":"Plutus smart contracts verified with Liquid Haskell","topicNames":[],"topicsNotShown":0,"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","name":"cabal","owner":"tweag","isFork":true,"description":"Official upstream development repository for Cabal and cabal-install","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":675,"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,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":1,"starsCount":55,"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,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":23,"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,"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":"cooked-smart-contracts","owner":"tweag","isFork":false,"description":"Smart contracts for the Cardano blockchain written with Cooked-validators","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":0,"starsCount":3,"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,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-05-10T17:12:43.656Z"}},{"type":"Public","name":"sparkle","owner":"tweag","isFork":false,"description":"Haskell on Apache Spark.","topicNames":["spark","apache-spark","analytics","haskell"],"topicsNotShown":0,"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,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":7,"starsCount":31,"forksCount":5,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-23T16:58:59.470Z"}},{"type":"Public","name":"stack-templates","owner":"tweag","isFork":true,"description":"Project templates for stack new","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":110,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-02T08:28:04.054Z"}},{"type":"Public","name":"servant-oauth2","owner":"tweag","isFork":false,"description":"A modern servant wrapper around the wai-middleware-auth OAuth2 provider implementations.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":7,"starsCount":8,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-05T07:38:42.110Z"}}],"repositoryCount":64,"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"}