Repositories Users Organizations
Filter
Sort
hadolint/ hadolint
Haskell 1 0
Dockerfile linter, validate inline bash, written in Haskell
starred-repo haskell docker linter dockerfile dockerfile-linter shellcheck static-analysis starred-hadolint-repo
Updated 2024-10-03 22:53:42 +03:00
anoma/ juvix
Haskell 1 0
Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
starred-repo haskell dependent-types juvix linear-types starred-anoma-repo
Updated 2024-10-03 19:09:22 +03:00
composewell/ streamly
Haskell 1 0
High performance, concurrent functional programming abstractions
starred-repo haskell filesystem unicode parsers modular concurrency network logic-programming reactive-programming async arrays dataflow folds frp loops non-determinism pipes stream-fusion streaming unfolds starred-composewell-repo
Updated 2024-10-03 17:49:24 +03:00
Kindelia/ Kind
Haskell 1 0
A modern proof language
starred-repo functional-programming dependent-types formality lambda-calculus moonad proof-language proof-languages theorem-prover type-theory starred-kindelia-repo
Updated 2024-10-03 16:53:57 +03:00
Kindelia/ Kind2
Haskell 1 0
A next-gen functional language
starred-repo functional-programming dependent-types lambda-calculus type-theory formality moonad proof-language proof-languages theorem-prover starred-kindelia-repo
Updated 2024-10-03 16:53:57 +03:00
HigherOrderCO/ Kind
Haskell 1 0
A next-gen functional language
starred-repo functional-programming dependent-types lambda-calculus type-theory formality moonad proof-language proof-languages theorem-prover starred-higherorderco-repo
Updated 2024-10-03 16:53:57 +03:00
airalab/ hs-web3
Haskell 1 0
Web3 API for Haskell.
starred-repo haskell ethereum polkadot ipfs web3 starred-airalab-repo
Updated 2024-10-03 15:55:11 +03:00
simplex-chat/ simplex-chat
Haskell 1 0
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released 📱!
starred-repo haskell privacy encryption security chat double-ratchet e2ee messaging protocol starred-simplex-chat-repo
Updated 2024-10-03 15:47:50 +03:00
nmattia/ niv
Haskell 1 0
Easy dependency management for Nix projects
starred-repo nix package-manager starred-nmattia-repo versioning
Updated 2024-10-03 14:29:28 +03:00
haskellweekly/ haskellweekly
Haskell 1 0
Publishes curated news about the Haskell programming language.
starred-repo haskell newsletter podcast starred-haskellweekly-repo
Updated 2024-10-03 12:27:01 +03:00
simonmichael/ hledger
Haskell 1 0
A reliable, user-friendly Plain Text Accounting tool with command line, terminal and web interfaces.
starred-repo haskell hacktoberfest console-application command-line-tool tui accounting bounties bounty finances haskell-application hledger ledger library plain-text plain-text-accounting plaintext plaintext-accounting sponsor stackage-lts web-application starred-simonmichael-repo
Updated 2024-10-03 06:32:57 +03:00
ryantm/ nixpkgs-update
Haskell 1 0
Updating nixpkgs packages since 2018
starred-repo starred-ryantm-repo
Updated 2024-10-03 02:08:08 +03:00
nix-community/ nixpkgs-update
Haskell 1 0
Updating nixpkgs packages since 2018
starred-repo starred-nix-community-repo nix-community-buildbot
Updated 2024-10-03 02:08:08 +03:00
flipstone/ orville
Haskell 1 0
Yet another ORM for haskell
starred-repo starred-flipstone-repo
Updated 2024-10-02 21:28:06 +03:00
GaloisInc/ cryptol
Haskell 1 0
Cryptol: The Language of Cryptography
starred-repo starred-galoisinc-repo
Updated 2024-10-02 19:32:29 +03:00
haskell/ haskell-language-server
Haskell 1 0
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
starred-repo haskell ghc cabal stack starred-haskell-repo ide haskell-language-server lsp-server
Updated 2024-10-02 15:28:14 +03:00
utdemir/ nix-tree
Haskell 1 0
Interactively browse dependency graphs of Nix derivations.
starred-repo nix hacktoberfest dependency-graph starred-utdemir-repo
Updated 2024-10-02 09:52:58 +03:00
tfausak/ witch
Haskell 1 0
🧙‍♀️ Convert values from one type into another.
starred-repo haskell starred-tfausak-repo
Updated 2024-10-02 05:16:33 +03:00
seanhess/ hyperbole
Haskell 1 0
Haskell interactive serverside web framework inspired by HTMX
starred-repo starred-seanhess-repo
Updated 2024-10-01 21:00:30 +03:00
stackbuilders/ hapistrano
Haskell 1 0
Deploy tool for Haskell applications, like Capistrano for Rails
starred-repo haskell hacktoberfest deployment capistrano continuous-deployment haskell-applications starred-stackbuilders-repo
Updated 2024-10-01 18:14:44 +03:00