Haskell Trending

simplex-chat /

simplex-chat

#9

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

jgm /

pandoc

#12

Universal markup converter

koalaman /

shellcheck

#3

ShellCheck, a static analysis tool for shell scripts

PostgREST /

postgrest

#4

REST API for any Postgres database

hadolint /

hadolint

#2

Dockerfile linter, validate inline bash, written in Haskell

maralorn /

nix-output-monitor

#7

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

simonmichael /

hledger

#5

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

nammayatri /

nammayatri

#1

A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

IntersectMBO /

cardano-ledger

#13

The ledger implementation and specifications of the Cardano blockchain.

digital-asset /

daml

#11

The Daml smart contract language

IntersectMBO /

cardano-node

#10

The core component that is used to participate in a Cardano decentralised blockchain.

haskell /

cabal

#8

Official upstream development repository for Cabal and cabal-install

IntersectMBO /

plutus

#6

The Plutus language implementation and tools

simplex-chat /

simplex-chat

#11

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

monoscope-tech /

monoscope

#7

Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.

jgm /

pandoc

#1

Universal markup converter

PostgREST /

postgrest

#2

REST API for any Postgres database

koalaman /

shellcheck

#8

ShellCheck, a static analysis tool for shell scripts

simonmichael /

hledger

#5

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

nammayatri /

nammayatri

#4

A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

hadolint /

hadolint

#12

Dockerfile linter, validate inline bash, written in Haskell

IntersectMBO /

plutus

#6

The Plutus language implementation and tools

commercialhaskell /

stack

#14

The Haskell Tool Stack

mtolly /

onyx

#13

Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games

IntersectMBO /

cardano-node

#10

The core component that is used to participate in a Cardano decentralised blockchain.

digital-asset /

daml

#9

The Daml smart contract language

haskell /

cabal

#3

Official upstream development repository for Cabal and cabal-install

simplex-chat /

simplex-chat

#10

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

jgm /

pandoc

#4

Universal markup converter

monoscope-tech /

monoscope

#6

Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.

PostgREST /

postgrest

#1

REST API for any Postgres database

koalaman /

shellcheck

#3

ShellCheck, a static analysis tool for shell scripts

hadolint /

hadolint

#8

Dockerfile linter, validate inline bash, written in Haskell

haskell /

cabal

#9

Official upstream development repository for Cabal and cabal-install

IntersectMBO /

cardano-node

#7

The core component that is used to participate in a Cardano decentralised blockchain.

nammayatri /

nammayatri

#5

A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

digital-asset /

daml

#2

The Daml smart contract language

simplex-chat /

simplex-chat

#14

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

jgm /

pandoc

#2

Universal markup converter

monoscope-tech /

monoscope

#10

Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.

PostgREST /

postgrest

#3

REST API for any Postgres database

koalaman /

shellcheck

#13

ShellCheck, a static analysis tool for shell scripts

hadolint /

hadolint

#1

Dockerfile linter, validate inline bash, written in Haskell

haskell /

haskell-language-server

#12

Official Haskell IDE support via the language server protocol (LSP)

diku-dk /

futhark

#8

💥💻💥 A data-parallel functional programming language

commercialhaskell /

stack

#7

The Haskell Tool Stack

mtolly /

onyx

#11

Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games

haskell /

cabal

#9

Official upstream development repository for Cabal and cabal-install

IntersectMBO /

cardano-node

#6

The core component that is used to participate in a Cardano decentralised blockchain.

digital-asset /

daml

#5

The Daml smart contract language

nammayatri /

nammayatri

#4

A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

simplex-chat /

simplex-chat

#4

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

jgm /

pandoc

#3

Universal markup converter

PostgREST /

postgrest

#5

REST API for any Postgres database

hadolint /

hadolint

#1

Dockerfile linter, validate inline bash, written in Haskell

koalaman /

shellcheck

#2

ShellCheck, a static analysis tool for shell scripts

monoscope-tech /

monoscope

#8

Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.

mtolly /

onyx

#12

Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games

agda /

agda

#7

Agda is a dependently typed programming language / interactive theorem prover.

haskell /

cabal

#13

Official upstream development repository for Cabal and cabal-install

digital-asset /

daml

#11

The Daml smart contract language

commercialhaskell /

stack

#10

The Haskell Tool Stack

IntersectMBO /

cardano-node

#9

The core component that is used to participate in a Cardano decentralised blockchain.

nammayatri /

nammayatri

#6

A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

simplex-chat /

simplex-chat

#3

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

jgm /

pandoc

#10

Universal markup converter

koalaman /

shellcheck

#6

ShellCheck, a static analysis tool for shell scripts

monoscope-tech /

monoscope

#1

Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.

PostgREST /

postgrest

#2

REST API for any Postgres database

nammayatri /

nammayatri

#12

A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

agda /

agda

#13

Agda is a dependently typed programming language / interactive theorem prover.

haskell /

cabal

#11

Official upstream development repository for Cabal and cabal-install

halogenandtoast /

ArkhamHorror

#9

An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.

mtolly /

onyx

#8

Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games

commercialhaskell /

stack

#7

The Haskell Tool Stack

IntersectMBO /

cardano-node

#5

The core component that is used to participate in a Cardano decentralised blockchain.

digital-asset /

daml

#4

The Daml smart contract language

simplex-chat /

simplex-chat

#3

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

jgm /

pandoc

#2

Universal markup converter

monoscope-tech /

monoscope

#4

Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.

PostgREST /

postgrest

#1

REST API for any Postgres database

hadolint /

hadolint

#14

Dockerfile linter, validate inline bash, written in Haskell

nammayatri /

nammayatri

#12

A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

digital-asset /

daml

#10

The Daml smart contract language

halogenandtoast /

ArkhamHorror

#9

An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.

digital-asset /

cn-quickstart

#8

Accelerate building apps on Canton Network using this quickstart to start quick!

haskell /

cabal

#13

Official upstream development repository for Cabal and cabal-install

haskell /

haskell-language-server

#11

Official Haskell IDE support via the language server protocol (LSP)

mtolly /

onyx

#7

Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games

IntersectMBO /

cardano-node

#6

The core component that is used to participate in a Cardano decentralised blockchain.

agda /

agda

#5

Agda is a dependently typed programming language / interactive theorem prover.