Repositories Users Organizations
Filter
Sort
jtdaugherty/ brick
Haskell 1 0
A declarative Unix terminal UI programming library written in Haskell
starred-repo haskell tui terminal ui curses framework vty starred-jtdaugherty-repo
Updated 2024-12-03 19:28:12 +03:00
sayo-hs/ heftia
Haskell 1 0
higher-order algebraic effects done right for Haskell
starred-repo starred-sayo-hs-repo
Updated 2024-12-03 17:52:08 +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-12-03 17:04:28 +03:00
ryantm/ nixpkgs-update
Haskell 1 0
Updating nixpkgs packages since 2018
starred-repo starred-ryantm-repo
Updated 2024-12-03 16:41:51 +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-12-03 12:40:34 +03:00
swarm-game/ swarm
Haskell 1 0
Resource gathering + programming game
starred-repo starred-swarm-game-repo
Updated 2024-12-03 05:06:14 +03:00
seanhess/ hyperbole
Haskell 1 0
Haskell interactive serverside web framework inspired by HTMX
starred-repo starred-seanhess-repo
Updated 2024-12-02 23:34:53 +03:00
haskell-effectful/ effectful
Haskell 1 0
An easy to use, performant extensible effects library with seamless integration with the existing Haskell ecosystem.
starred-repo starred-haskell-effectful-repo
Updated 2024-12-02 22:04:19 +03:00
neohaskell/ NeoHaskell
Haskell 1 0
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
starred-repo haskell python functional-programming command-line programming-language ai concurrency developer-experience mobile beginner-friendly domain-driven-design event-sourcing starred-neohaskell-repo
Updated 2024-12-02 20:39:05 +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-12-02 19:52:15 +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-12-02 19:52:15 +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-12-02 19:52:15 +03:00
tweag/ ormolu
Haskell 1 0
A formatter for Haskell source code
starred-repo haskell starred-tweag-repo formatter
Updated 2024-12-02 18:55:10 +03:00
flipstone/ orville
Haskell 1 0
Yet another ORM for haskell
starred-repo starred-flipstone-repo
Updated 2024-12-02 18:46:18 +03:00
GaloisInc/ macaw
Haskell 1 0
Open source binary analysis tools.
starred-repo starred-galoisinc-repo
Updated 2024-12-02 18:19:24 +03:00
aristanetworks/ nix-serve-ng
Haskell 1 0
A drop-in replacement for nix-serve that is faster and more reliable
starred-repo starred-aristanetworks-repo
Updated 2024-12-02 17:12:47 +03:00
serokell/ haskell-with-utf8
Haskell 1 0
Get your IO right on the first try
starred-repo haskell starred-serokell-repo files unicode input-output utf8
Updated 2024-12-02 05:03:02 +03:00
tfausak/ witch
Haskell 1 0
🧙‍♀️ Convert values from one type into another.
starred-repo haskell starred-tfausak-repo
Updated 2024-12-01 22:53:52 +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-12-01 19:07:54 +03:00
NorfairKing/ feedback
Haskell 1 0
Declarative feedback loop manager
starred-repo starred-norfairking-repo
Updated 2024-12-01 17:32:23 +03:00