agda∗
|
2.6.4 |
10 |
2.6.47 |
2.6.35 2.6.2.23 2.6.2.1 2.6.23 2.6.1.2 2.6.12 2.6.0.12 2.5.4.2 2.5.4.1 2.5.32 2.5.22 2.4.2.5 2.3.2.22 2.3.0.1 |
2.6.2.98d4eb0 2.5.1.r8151.g4108da695 HEAD |
haskell:abstract-deque∗
|
0.3 |
9 |
0.39 |
|
|
haskell:abstract-deque-tests∗
|
0.3 |
2 |
0.32 |
|
|
haskell:abstract-par∗
|
0.3.3 |
9 |
0.3.39 |
|
|
haskell:ac-angle |
1.0 |
2 |
1.02 |
|
|
haskell:acc |
0.2.0.2 |
2 |
0.2.0.22 |
0.2.0.1 0.1.3 |
|
haskell:ace |
0.6 |
3 |
0.63 |
|
|
haskell:acid-state∗
|
0.16.1.3 |
4 |
0.16.1.33 |
0.16.1.2 0.16.1.12 0.16.1 0.16.0.12 0.14.3 0.14.22 0.14.0 0.11.4 |
|
haskell:action-permutations |
0.0.0.1 |
3 |
0.0.0.13 |
|
|
haskell:active |
0.2.0.18 |
6 |
0.2.0.183 |
0.2.0.17 0.2.0.163 0.2.0.15 0.2.0.14 0.2.0.133 0.2.0.8 0.1.0.9 |
|
haskell:ad |
4.5.4 |
3 |
4.5.42 |
4.5.2 4.5 4.4.1 4.3.3 |
|
haskell:ad-delcont |
0.5.0.0 |
2 |
0.5.0.02 |
0.3.0.02 |
|
haskell:adjunctions |
4.4.2 |
10 |
4.4.29 |
4.4.1 4.46 4.34 4.2.2 3.2.1.1 |
|
haskell:adler32 |
0.1.2.0 |
3 |
0.1.2.02 |
0.1.1.0 |
|
haskell:aern2-mp∗
|
0.2.15.1 |
2 |
0.2.15.12 |
0.2.15.0 0.2.11.0 0.2.8.0 |
|
haskell:aern2-real∗
|
0.2.15 |
2 |
0.2.152 |
0.2.11.0 0.2.8.0 |
|
haskell:aeson∗
|
2.1.2.1 |
15 |
2.2.1.03 |
2.1.2.17 2.1.1.02 2.0.3.05 2.0.2.0 2.0.1.0 1.5.6.0▲4 1.4.7.1▲4 1.4.6.0▲ 1.4.3.0▲ 1.4.2.0▲3 1.3.1.1▲2 1.2.4.0▲ 1.2.3.0▲ 1.1.2.0▲2 1.0.2.1▲2 0.11.2.0▲ 0.10.0.0▲ 0.7.0.6▲ 0.6.2.1▲2 |
|
haskell:aeson-attoparsec |
0.0.0 |
2 |
0.0.02 |
|
|
haskell:aeson-casing |
0.2.0.0 |
4 |
0.2.0.03 |
0.1.0.5 |
|
haskell:aeson-combinators |
0.1.1.0 |
2 |
0.1.1.02 |
0.1.0.1 0.0.5.0 |
|
haskell:aeson-diff |
1.1.0.13 |
5 |
1.1.0.135 |
1.1.0.12 1.1.0.93 |
|
haskell:aeson-extra |
0.5.1.3 |
4 |
0.5.1.32 |
0.5.1.23 0.5.1.12 0.5.1 0.4.1.3 0.4.1.1 0.4.0.02 0.2.2.0 |
|
haskell:aeson-generic-compat |
0.0.2.0 |
3 |
0.0.2.0 |
0.0.1.32 0.0.1.0 |
|
haskell:aeson-iproute |
0.3.0 |
2 |
0.3.02 |
0.2.1 |
|
haskell:aeson-optics |
1.2.1 |
2 |
1.2.12 |
1.2.0.1 1.2 1.1.1 |
|
haskell:aeson-picker |
0.1.0.6 |
2 |
0.1.0.62 |
0.1.0.5 |
|
haskell:aeson-pretty |
0.8.10 |
14 |
0.8.105 |
0.8.910 0.8.85 0.8.74 0.8.53 0.8.22 0.7.2 0.7.12 0.7 |
|
haskell:aeson-qq |
0.8.4 |
7 |
0.8.45 |
0.8.32 0.8.22 0.8.1 0.8.0 |
0.8.4+git20211011.1.0796da1 |
haskell:aeson-schemas |
1.4.1.0 |
2 |
1.4.1.02 |
1.4.0.1 1.4.0.0 1.3.5.1 1.3.5 |
|
haskell:aeson-typescript |
0.6.0.0 |
2 |
0.6.0.02 |
0.4.2.0 0.4.0.0 0.3.0.1 |
|
haskell:aeson-unqualified-ast |
1.0.0.3 |
2 |
1.0.0.32 |
|
|
haskell:aeson-value-parser |
0.19.7.1 |
2 |
0.19.7.12 |
0.19.7 0.19.6 0.19.4 |
|
haskell:aeson-warning-parser |
0.1.0 |
2 |
0.1.02 |
|
|
haskell:aeson-yak |
0.1.1.3 |
2 |
0.1.1.32 |
|
|
haskell:aeson-yaml |
1.1.0.1 |
5 |
1.1.0.15 |
1.1.0.03 1.0.6.0 |
|
haskell:agda2lagda |
0.2023.6.9 |
2 |
0.2023.6.92 |
0.2023.3.25 0.2021.6.1 |
|
haskell:agreeing |
0.2.2.0 |
2 |
0.2.2.02 |
0.1.0.0 |
|
haskell:alarmclock |
0.7.0.6 |
3 |
0.7.0.62 |
0.7.0.5 0.4.0.2 |
|
haskell:alex∗
|
3.4.0.1 |
7 |
3.4.0.12 |
3.3.0.02 3.2.7.4 3.2.7.2 3.2.7.14 3.2.6 3.1.4 3.0.2 |
|
haskell:alex-meta |
0.3.0.13 |
2 |
0.3.0.132 |
|
|
haskell:alex-tools |
0.6.1 |
2 |
0.6.12 |
0.6 0.5.0.1 |
|
haskell:algebra |
4.3.1 |
3 |
4.3.12 |
3.1 |
|
haskell:algebraic-graphs |
0.7 |
5 |
0.74 |
0.6.1 0.62 0.52 |
|
haskell:align-audio |
0.0.0.1 |
2 |
0.0.0.12 |
0.0 |
|
haskell:almost-fix |
0.0.2 |
2 |
0.0.22 |
|
|
haskell:alsa-core∗
|
0.5.0.1 |
10 |
0.5.0.110 |
|
|
haskell:alsa-mixer |
0.3.0 |
10 |
0.3.08 |
0.2.0.32 0.2.0.2 |
|
haskell:alsa-pcm∗
|
0.6.1.1 |
2 |
0.6.1.12 |
|
|
haskell:alsa-seq∗
|
0.6.0.9 |
2 |
0.6.0.92 |
0.6.0.8 |
|
haskell:alternative-vector |
0.0.0 |
2 |
0.0.02 |
|
|
Project |
Selected |
Spr |
Newest |
Outdated |
Ignored |
haskell:alternators |
1.0.0.0 |
3 |
1.0.0.02 |
0.1.1.1 |
|
haskell:alut∗
|
2.4.0.3 |
4 |
2.4.0.32 |
2.4.0.2 2.2.0.0 |
|
haskell:amazonka∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-accessanalyzer∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-account∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-amp∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-amplify∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-amplifybackend∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-amplifyuibuilder∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-apigateway∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-apigatewaymanagementapi∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-apigatewayv2∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-appconfig∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-appconfigdata∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-appflow∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-appintegrations∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-application-autoscaling∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-application-insights∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-applicationcostprofiler∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-appmesh∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-apprunner∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-appstream∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-arc-zonal-shift∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-athena∗
|
2.0 |
2 |
2.02 |
1.6.1 |
|
haskell:amazonka-auditmanager∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-autoscaling∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-backup∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-backup-gateway∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-backupstorage∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-billingconductor∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-braket∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-budgets∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-certificatemanager∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-chime∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-chime-sdk-identity∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-chime-sdk-media-pipelines∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-chime-sdk-meetings∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-chime-sdk-messaging∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-chime-sdk-voice∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-cloudcontrol∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-cloudformation∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-cloudfront∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-cloudhsm∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-cloudsearch∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-cloudsearch-domains∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-cloudtrail∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-cloudwatch∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-cloudwatch-events∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-cloudwatch-logs∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-codeartifact∗
|
2.0 |
2 |
2.02 |
|
|
Project |
Selected |
Spr |
Newest |
Outdated |
Ignored |
haskell:amazonka-codebuild∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-codecommit∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-codedeploy∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-codeguru-reviewer∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-codeguruprofiler∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-codepipeline∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-codestar-connections∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-codestar-notifications∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-cognito-identity∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-cognito-idp∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-cognito-sync∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-comprehendmedical∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-compute-optimizer∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-config∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-connect-contact-lens∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-connectcampaigns∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-connectcases∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-connectparticipant∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-controltower∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-core∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-customer-profiles∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-databrew∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-dataexchange∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-datapipeline∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-datasync∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-detective∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-devicefarm∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-devops-guru∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-directconnect∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-discovery∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-dlm∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-dms∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-docdb∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-docdb-elastic∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-drs∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-ds∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-dynamodb∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-dynamodb-streams∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-ebs∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-ec2∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-ec2-instance-connect∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-ecr∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-ecr-public∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-ecs∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-efs∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-eks∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-elastic-inference∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-elasticache∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-elasticbeanstalk∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-elasticsearch∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
Project |
Selected |
Spr |
Newest |
Outdated |
Ignored |
haskell:amazonka-elastictranscoder∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-elb∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-elbv2∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-emr∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-emr-containers∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-emr-serverless∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-evidently∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-finspace∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-finspace-data∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-fis∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-forecast∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-forecastquery∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-frauddetector∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-fsx∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-gamelift∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-gamesparks∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-glacier∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-globalaccelerator∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-glue∗
|
2.0 |
2 |
2.02 |
1.6.1 |
|
haskell:amazonka-grafana∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-greengrassv2∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-groundstation∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-health∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-healthlake∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-honeycode∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-iam∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-identitystore∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-imagebuilder∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-importexport∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-inspector∗
|
2.0 |
2 |
2.02 |
1.6.1 |
|
haskell:amazonka-inspector2∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-iot∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-iot-dataplane∗
|
2.0 |
3 |
2.02 |
1.6.1 1.4.5 |
|
haskell:amazonka-iot-roborunner∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-iot1click-devices∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-iot1click-projects∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-iotdeviceadvisor∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-iotevents∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-iotevents-data∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-iotfleethub∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-iotfleetwise∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-iotsecuretunneling∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-iotsitewise∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-iotthingsgraph∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-iottwinmaker∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-iotwireless∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-ivs∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-ivschat∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-kafka∗
|
2.0 |
2 |
2.02 |
|
|
haskell:amazonka-kafkaconnect∗
|
2.0 |
2 |
2.02 |
|
|