haskell/actions/hlint-run | actions | Package Usage

qaristote/liquid-fixpoint Fork of ucsd-progsys/liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

v2 .github/workflows/hlint.yml

Size: 5.24 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

haskellweekly/haskellweekly

Publishes curated news about the Haskell programming language.

v2 .github/workflows/ci.yaml

Size: 3.87 MB - Last synced: 5 days ago - Pushed: 5 days ago

pbrisbin/bluebook 📦

Nicely render man-pages to html, with cross-linking

v2 .github/workflows/ci.yml

Size: 394 KB - Last synced: 7 months ago - Pushed: 7 months ago

piyush-kurur/raaz Fork of raaz-crypto/raaz

Type safe cryptographic library for Haskell

v2 .github/workflows/checks.yml

Size: 7.66 MB - Last synced: 3 months ago - Pushed: 3 months ago

emacsmirror/flycheck-haskell Fork of flycheck/flycheck-haskell

Flycheck: Automatic Haskell configuration

v2 .github/workflows/ci.yml

Size: 272 KB - Last synced: 29 days ago - Pushed: 10 months ago

xmonad/xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

v2 .github/workflows/hlint.yaml

Size: 5.37 MB - Last synced: about 1 month ago - Pushed: about 2 months ago

xmonad/xmonad-contrib

Contributed modules for xmonad

v2 .github/workflows/hlint.yaml

Size: 11.7 MB - Last synced: about 1 month ago - Pushed: about 1 month ago

facundominguez/liquid-fixpoint Fork of ucsd-progsys/liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

v2 .github/workflows/hlint.yml

Size: 5.26 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

TheMC47/xmonad-contrib Fork of xmonad/xmonad-contrib

Contributed modules for xmonad

v2 .github/workflows/hlint.yaml

Size: 11.6 MB - Last synced: about 1 month ago - Pushed: about 1 month ago

lsrcz/grisette-monad-coroutine

v2 .github/workflows/hlint.yml

Size: 74.2 KB - Last synced: 3 days ago - Pushed: 4 months ago

qaristote/liquidhaskell Fork of ucsd-progsys/liquidhaskell

Liquid Types For Haskell

v2 .github/workflows/hlint.yml

Size: 51.2 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

ConnorBaker/rest Fork of zgrannan/rest

A library for rewriting

v2 .github/workflows/hlint.yml

Size: 396 KB - Last synced: 29 days ago - Pushed: over 1 year ago

ryukzak/nitta

v2.3.3 .github/workflows/ci.yml

Size: 26.3 MB - Last synced: about 1 month ago - Pushed: about 1 month ago

Canonical-LLC/plutus Fork of input-output-hk/plutus

The Plutus language implementation and tools

v1 .github/workflows/hlint.yml

Size: 114 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

ksm2/metroc

Compiler for the Metro language

v2 .github/workflows/haskell.yml

Size: 16.2 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

lsrcz/grisette

A monadic library for symbolic evaluation

v2 .github/workflows/hlint.yml

Size: 1.91 MB - Last synced: about 1 month ago - Pushed: about 1 month ago

freckle/stackctl

Manage CloudFormation Stacks through specifications

v2 .github/workflows/ci.yml

Size: 413 KB - Last synced: 6 days ago - Pushed: 7 days ago

ilya-bobyr/xmonad-contrib Fork of xmonad/xmonad-contrib

Contributed modules for xmonad

v2 .github/workflows/hlint.yaml

Size: 11.6 MB - Last synced: 27 days ago - Pushed: 2 months ago

Disco-Dave/katip-wai

WAI middleware for logging request information through Katip

v2 .github/workflows/ci.yaml

Size: 85 KB - Last synced: 18 days ago - Pushed: 4 months ago

UlisesAlexanderAM/book

Library to develop books-related software

v2 .github/workflows/haskell.yml

Size: 48.8 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

recursion-ninja/cabal-lower-bounds

Extract the lower bounds of all build targets in a cabal file

v2 .github/workflows/haskell.yaml

Size: 67.4 KB - Last synced: 8 months ago - Pushed: over 1 year ago

fmidue/xmodeler-tooling

v2 .github/workflows/hlint.yml

Size: 1.19 MB - Last synced: 12 months ago - Pushed: over 1 year ago

tvandinther/filedo

A command-line utility to perform actions on targeted files.

v2 .github/workflows/lint.yaml

Size: 102 KB - Last synced: 4 months ago - Pushed: 4 months ago

mbg/sarif

Haskell library for reading and writing SARIF files

v2 .github/workflows/build.yml

Size: 38.1 KB - Last synced: 26 days ago - Pushed: 4 months ago

flycheck/flycheck-haskell

Improved Haskell support for Flycheck

v2 .github/workflows/ci.yml

Size: 274 KB - Last synced: about 2 months ago - Pushed: 10 months ago

raaz-crypto/raaz

Cryptographic library for Haskell

v2 .github/workflows/checks.yml

Size: 7.63 MB - Last synced: 11 days ago - Pushed: 3 months ago

freizl/hoauth2

Haskell oauth2 binding

v2 .github/workflows/lint.yml

Size: 644 KB - Last synced: 14 days ago - Pushed: 2 months ago

ucsd-progsys/liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

v2 .github/workflows/hlint.yml

Size: 5.39 MB - Last synced: 18 days ago - Pushed: 24 days ago

hslua/hslua

Haskell bindings to Lua, an embeddable scripting language.

v2 .github/workflows/lint.yml

Size: 4.9 MB - Last synced: about 10 hours ago - Pushed: about 12 hours ago

ucsd-progsys/liquidhaskell

Liquid Types For Haskell

v2 .github/workflows/hlint.yml

Size: 56.2 MB - Last synced: 5 days ago - Pushed: about 1 month ago

minio/minio-hs

MinIO Client SDK for Haskell

v2 .github/workflows/ci.yml

Size: 665 KB - Last synced: 12 days ago - Pushed: 13 days ago

haskell-bitcoin/bitcoin

Bitcoin Library for Haskell

v2 .github/workflows/hlint.yaml

Size: 8.03 MB - Last synced: 10 days ago - Pushed: 11 days ago

pbrisbin/bugsnag-haskell

Bugsnag error reporter for Haskell

v2 .github/workflows/ci.yml

Size: 397 KB - Last synced: 19 days ago - Pushed: 4 months ago

pbrisbin/hs-shellwords

Parse a string into words, like a shell would

v2 .github/workflows/ci.yml

Size: 75.2 KB - Last synced: 20 days ago - Pushed: over 1 year ago

pavelzw/advent-of-code

My Advent of Code solutions

v2 .github/workflows/lint.yml

Size: 146 KB - Last synced: 15 days ago - Pushed: 15 days ago

hasura/graphql-parser-hs

A GraphQL query parser for Haskell

v2 .github/workflows/lint.yml

Size: 307 KB - Last synced: about 1 month ago - Pushed: over 1 year ago

Disco-Dave/message-db

Haskell client library for Eventide's Message DB

v2 .github/workflows/message-db-cicd.yaml
v2 .github/workflows/message-db-monad-cicd.yaml
v2 .github/workflows/message-db-temp-cicd.yaml

Size: 342 KB - Last synced: 27 days ago - Pushed: over 1 year ago

pbrisbin/litx

Execute a Literate Markdown file

v2 .github/workflows/ci.yml

Size: 7.98 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

mlabs-haskell/plutus Fork of IntersectMBO/plutus

The Plutus language implementation and tools

v1 .github/workflows/hlint.yml

Size: 204 MB - Last synced: 4 days ago - Pushed: 5 days ago

jonathan-lemos/x

A CLI calculator. It will be great some day, but right now it's just a basic arithmetic calculator.

v2 .github/workflows/ci.yaml

Size: 312 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

con-kitty/categorifier

Interpret Haskell programs into any cartesian closed category.

v2 .github/workflows/ci.yml

Size: 758 KB - Last synced: 13 days ago - Pushed: 3 months ago

dzhus/flickr-promoter

Add my photos to my group pools based on metadata

v2 .github/workflows/ci.yaml

Size: 105 KB - Last synced: 19 days ago - Pushed: 19 days ago

LSLeary/xmonad Fork of xmonad/xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

v2 .github/workflows/hlint.yaml

Size: 5.3 MB - Last synced: 9 months ago - Pushed: about 1 year ago

j-mueller/plutus Fork of input-output-hk/plutus

v1 .github/workflows/hlint.yml

Size: 122 MB - Last synced: about 1 year ago - Pushed: about 1 year ago

typechecker/liquid-fixpoint Fork of ucsd-progsys/liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

v2 .github/workflows/hlint.yml

Size: 5.29 MB - Last synced: 3 months ago - Pushed: 3 months ago

tfausak/evoke 📦

:crystal_ball: A GHC plugin to derive instances.

v2 .github/workflows/workflow.yaml

Size: 104 KB - Last synced: 29 days ago - Pushed: about 1 year ago

a5ob7r/seven

WIP: A coreutils in Haskell

v2 .github/workflows/ci.yml

Size: 31.3 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

fmidue/modelling-tasks

v2 .github/workflows/hlint.yml

Size: 11.6 MB - Last synced: 4 days ago - Pushed: 4 days ago

sondr3/scheme-hs

A Haskell implementation of R7RS Scheme

v2 .github/workflows/pipeline.yml

Size: 126 KB - Last synced: 28 days ago - Pushed: 3 months ago

tfausak/witch

:mage_woman: Convert values from one type into another.

v2 .github/workflows/workflow.yaml

Size: 356 KB - Last synced: 29 days ago - Pushed: about 2 months ago

recursion-ninja/efficient-implied-alignment

Minimal working example of multiple string alignment given a commutative magma string alignment operator over a binary tree

v2 .github/workflows/haskell.yaml

Size: 7.76 MB - Last synced: 8 months ago - Pushed: over 1 year ago

gerardbosch/kmonad Fork of kmonad/kmonad

An advanced keyboard manager

v2 .github/workflows/hlint.yml

Size: 1.55 MB - Last synced: 7 days ago - Pushed: 7 days ago

kmonad/kmonad

An advanced keyboard manager

v2 .github/workflows/hlint.yml

Size: 1.32 MB - Last synced: 7 days ago - Pushed: 7 days ago

p3rsik/haskell-brainfuck-v2

v2 .github/workflows/hlint.yml

Size: 56.6 KB - Last synced: about 1 year ago - Pushed: about 1 year ago

zgrannan/rest

A library for rewriting

v2 .github/workflows/hlint.yml

Size: 187 KB - Last synced: 21 days ago - Pushed: 4 months ago

mujx/hakatime

Wakatime server implementation & analytics dashboard

v2 .github/workflows/ci.yml

Size: 1.47 MB - Last synced: 28 days ago - Pushed: about 1 month ago

AzimMuradov/fp-haskell-spbu 📦

Repository of homework in the discipline "Functional Programming"

v2 .github/workflows/build.yml

Size: 186 KB - Last synced: 11 months ago - Pushed: 11 months ago

union-platform/union-server

This repo contains Union server source code

v2 .github/workflows/backend.yml

Size: 1.54 MB - Last synced: about 1 year ago - Pushed: about 1 year ago

geekosaur/xmonad Fork of xmonad/xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

v2 .github/workflows/hlint.yaml

Size: 5.37 MB - Last synced: 19 days ago - Pushed: 19 days ago

a5ob7r/xmonad-config

v2 .github/workflows/ci.yaml

Size: 89.8 KB - Last synced: 3 months ago - Pushed: 3 months ago

lebensterben/xmonad-config

My config for xmonad

v2 .github/workflows/hlint.yml

Size: 178 KB - Last synced: 13 days ago - Pushed: 11 months ago

tochicool/bitcoin-dca

Service which automates dollar cost averaging with exchange APIs

f7b0997283589ea5a6b4f2ade6a239d70a412877 .github/workflows/cicd.yml

Size: 98.6 KB - Last synced: about 1 year ago - Pushed: about 1 year ago

oquechy/liquidhaskell Fork of ucsd-progsys/liquidhaskell

Liquid Types For Haskell

v2 .github/workflows/hlint.yml

Size: 51.2 MB - Last synced: 21 days ago - Pushed: 5 months ago

a5ob7r/haskellorls

Haskell implementation of ls

v2 .github/workflows/ci.yml

Size: 2.81 MB - Last synced: about 2 months ago - Pushed: about 2 months ago

pandoc/pandoc-lua-marshal

Use pandoc types in Lua

v2 .github/workflows/lint.yml

Size: 237 KB - Last synced: 7 days ago - Pushed: 8 days ago

geekosaur/xmonad-contrib Fork of xmonad/xmonad-contrib

Contributed modules for xmonad

v2 .github/workflows/hlint.yaml

Size: 11.7 MB - Last synced: 19 days ago - Pushed: 19 days ago

Gnadhi/plutus-1 Fork of input-output-hk/plutus

The Plutus language implementation and tools

v1 .github/workflows/hlint.yml

Size: 214 MB - Last synced: about 1 year ago - Pushed: about 1 year ago

lerontonge/plutus Fork of input-output-hk/plutus

The Plutus language implementation and tools

v1 .github/workflows/hlint.yml

Size: 272 MB - Last synced: 10 months ago - Pushed: 10 months ago

chungyc/ninetynine

Ninety-Nine Haskell Problems. The documentation serves as a standalone list of problems. Includes tests and benchmarks for checking and comparing solutions.

v2 .github/workflows/lint.yaml

Size: 1.13 MB - Last synced: 4 months ago - Pushed: 4 months ago

recursion-ninja/personal-website

The source code of my personal website

v2 .github/workflows/haskell.yaml

Size: 637 KB - Last synced: 25 days ago - Pushed: 25 days ago

tfausak/monadoc

:bookmark: Worse Haskell documentation.

v2 .github/workflows/workflow.yaml

Size: 4.94 MB - Last synced: 26 days ago - Pushed: 27 days ago

sondr3/sitemapping

A Haskell library for generating, parsing and validating sitemaps

v2 .github/workflows/pipeline.yml

Size: 52.7 KB - Last synced: 28 days ago - Pushed: 3 months ago

Haskell-Chapelure/chapelure

Chapelure is a diagnostic library for Haskell

v2 .github/workflows/linting.yml

Size: 55.7 KB - Last synced: about 6 hours ago - Pushed: 11 months ago

joehealy/hsresumebuilder

Haskell CLI tool to build a resume (CV) from a YAML file

v2 .github/workflows/hlint.yaml

Size: 42 KB - Last synced: 10 months ago - Pushed: about 2 years ago

chungyc/site-personal

Personal web site for Yoo Chung.

v2 .github/workflows/hlint.yaml

Size: 7.76 MB - Last synced: 20 days ago - Pushed: 21 days ago

joinplank/simple-escrow

A simple escrow cardano smart-contract.

v2 .github/workflows/haskell.yml

Size: 217 KB - Last synced: 12 months ago - Pushed: over 1 year ago

joinplank/cardano-e2e-example

A simple Cardano dApp example.

v2 .github/workflows/haskell.yml

Size: 4.29 MB - Last synced: 12 months ago - Pushed: about 1 year ago

vapourismo/workflows

v1.2.9 .github/workflows/haskell-hlint.yaml

Size: 20.5 KB - Last synced: 9 months ago - Pushed: almost 2 years ago

Siprj/otel-haskell-sdk

Simple opentelemetry sdk for haskell

v2 .github/workflows/formatting-linting.yml

Size: 219 KB - Last synced: about 2 months ago - Pushed: 8 months ago

freckle/hs-opentelemetry-awsxray

IdGenerator and Propagator for hs-opentelemetry-sdk that generates and propagates TraceId and SpanId values that are compatible with AWS X-Ray

v2 .github/workflows/ci.yml

Size: 45.9 KB - Last synced: 4 days ago - Pushed: about 1 year ago

ivanjermakov/wordle

TUI version of the Wordle word puzzle game written in Haskell

v1 .github/workflows/wordle.yml

Last synced: about 1 year ago

MoonNarga/life_is_long_no_python_please-lab3-variant2

v1 .github/workflows/haskell.yml

Size: 28.3 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago

MoonNarga/CPO_life_is_long_no_python_please

v1 .github/workflows/haskell.yml

Size: 60.5 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago

joinplank/plutus-budget-service

Service for obtaining memory and cpu units of cardano transactions involving plutus scripts.

v2 .github/workflows/lint.yml

Size: 67.4 KB - Last synced: 12 months ago - Pushed: over 1 year ago

lsrcz/grisette-megaparsec

v2 .github/workflows/hlint.yml

Size: 25.4 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

lsrcz/grisette-fused-effects

v2 .github/workflows/hlint.yml

Size: 59.6 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

lsrcz/grisette-vector-sized

v2 .github/workflows/hlint.yml

Size: 21.5 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

lsrcz/Haskell-GitHub-Action-Test

v2 .github/workflows/hlint.yml

Size: 43.9 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

lsrcz/grisette-benchmarks

v2 .github/workflows/hlint.yml

Size: 237 KB - Last synced: 4 months ago - Pushed: 4 months ago

YoussefKafa/search

A simple project that demonstrates my knowledge of HTML and CSS and it is also a homework in "CS50’s Web Programming with Python and JavaScript" course at Harvard University.