Haskell

Haskell is a functional programming language with non-strict semantics, and strong static typing.

There are 10,988 repositories under haskell topic.

koalaman / shellcheck
ShellCheck, a static analysis tool for shell scripts
bash developer-tools haskell linter shell static-analysis
Language:Haskell 36547
pandoc
jgm / pandoc
Universal markup converter
commonmark converter document haskell markdown markup pandoc presentation publishing
Language:Haskell 34910
graphql-engine
hasura / graphql-engine
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
access-control api automatic-api bigquery graphql graphql-api graphql-server haskell hasura mongodb postgres rest-api sql-server subgraph supergraph
Language:TypeScript 31208
PostgREST / postgrest
REST API for any Postgres database
api automatic-api database haskell http pg pgsql postgres postgresql postgrest rest server sql
Language:Haskell 23522
compiler-explorer / compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
assembly c-plus-plus compiler cpp dlang go hacktoberfest haskell ispc rust rust-lang swift
Language:TypeScript 16590
wasp-lang / wasp
The fastest way to develop full-stack web apps with React & Node.js.
compiler hacktoberfest haskell javascript node open-source prisma programming-language react wasp web-app
Language:TypeScript 13949
hmemcpy / milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
category-theory cpp functional-programming haskell latex ocaml pdf scala
Language:TeX 11034
hadolint / hadolint
Dockerfile linter, validate inline bash, written in Haskell
docker dockerfile dockerfile-linter haskell linter shellcheck static-analysis
Language:Haskell 10500
lk-geimfari / awesomo
Cool open source projects. Choose your project and get involved in Open Source development now.
awesome ocaml erlang elixir rust python scala lua clojure haskell emacs-lisp list ruby open-source typescript dev lisp projects
Language:Go 9435
purescript / purescript
A strongly-typed language that compiles to JavaScript
alt-js haskell javascript purescript typed-language
Language:Haskell 8593
simplex-chat / simplex-chat
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
chat double-ratchet e2ee encryption haskell messaging privacy protocol security
Language:Haskell 7396
liuxinyu95 / AlgoXY
Book of Elementary Functional Algorithms and Data structures
algorithms functional-programming haskell
Language:TeX 6130
unisonweb / unison
A friendly programming language from the future
hacktoberfest haskell programming-language unison unison-language
Language:Haskell 5820
ihp
digitallyinduced / ihp
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
haskell postgresql nix mvc html framework hacktoberfest
Language:Haskell 4951
extism
extism / extism
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
browser c cpp csharp dotnet elixir go haskell java javascript node ocaml plugin-system python ruby rust serverless wasm webassembly zig
Language:Rust 4537
input-output-hk / cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
cryptocurrency haskell stake-blockchain-protocol
Language:Haskell 3765
xmonad / xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
hacktoberfest haskell window-manager x11 x11-wm xmonad
Language:Haskell 3376
koka
koka-lang / koka
Koka language compiler and interpreter
algebraic-effects effect-handlers handler haskell koka
Language:Haskell 3325
simonmichael / hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
accounting bounties bounty command-line-tool console-application finance haskell haskell-applications hledger ledger plaintext plaintext-accounting plaintextaccounting tui web-application
Language:Haskell 3079
BayesWitnesses / m2cgen
Transform ML models into a native code (Java, C, Python, Go, JavaScript, Visual Basic, C#, R, PowerShell, PHP, Dart, Haskell, Ruby, F#, Rust) with zero dependencies
c csharp dartlang go haskell java javascript lightgbm lightning machine-learning php python r ruby rust scikit-learn statistical-learning statsmodels xgboost
Language:Python 2823
haskell / haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
cabal ghc hacktoberfest haskell haskell-language-server ide lsp-server stack
Language:Haskell 2726
wireapp / wire-server
🇪🇺 Wire back-end services
wire server haskell rust
Language:Haskell 2623
typelead / eta
The Eta Programming Language, a dialect of Haskell on the JVM
eta jvm haskell functional-programming
Language:Haskell 2611
IHaskell / IHaskell
A Haskell kernel for the Jupyter project.
haskell jupyter
Language:Jupyter Notebook 2604
sdiehl / wiwinwlh
What I Wish I Knew When Learning Haskell
article-series examples functional-programming functional-programming-examples haskell
Language:Haskell 2573
jaspervdj / patat
Terminal-based presentations using Pandoc
pandoc haskell presentation markdown slideshow slides terminal
Language:Haskell 2457
haskell / haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
ghc haskell haskell-ide ide language-server-protocol lsp
Language:Haskell 2378
tidalcycles / Tidal
Pattern language
livecoding algorave pattern haskell language dsl kairotic live-coding
Language:C++ 2285
dmjio / miso
:ramen: A tasty Haskell front-end framework
ghcjs haskell virtual-dom miso ramen ui nix javascript
Language:Haskell 2199
tweag / asterius
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
compiler ghc haskell webassembly
Language:Haskell 1973
kaxap / arl
lists of most popular repositories for most favoured programming languages (according to StackOverflow)
awesome python java c cpp nodejs csharp php ruby typescript swift objective-c vbnet assembly r perl matlab golang scala haskell
Language:Python 1961
nayuki / Project-Euler-solutions
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
algorithms competitive-programming dynamic-programming haskell java math mathematica mathematics number-theory project-euler proofs python recursion
Language:Java 1901
haskell-servant / servant
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
hacktoberfest haskell
Language:Haskell 1832
smallhadroncollider / taskell
Command-line Kanban board/task manager with support for Trello boards and GitHub projects
command-line github haskell homebrew kanban kanban-board linux macos markdown opensource task-manager trello vim-keybindings
Language:Haskell 1735
LuxLang / lux
The Lux Programming Language
language programming-language macros functional-programming lisp haskell clojure functional-languages types jvm-languages javascript python ruby lua
Language:Emacs Lisp 1687
netgusto / nodebook
Nodebook - Multi-Lang Web REPL + CLI Code runner
repl nodejs c cpp haskell java lua php python r ruby rust swift go typescript elixir ocaml fsharp csharp clojure
Language:Go 1632

Haskell

koalaman / shellcheck

jgm / pandoc

hasura / graphql-engine

PostgREST / postgrest

compiler-explorer / compiler-explorer

wasp-lang / wasp

hmemcpy / milewski-ctfp-pdf

hadolint / hadolint

lk-geimfari / awesomo

purescript / purescript

simplex-chat / simplex-chat

liuxinyu95 / AlgoXY

unisonweb / unison

digitallyinduced / ihp

extism / extism

input-output-hk / cardano-sl

xmonad / xmonad

koka-lang / koka

simonmichael / hledger

BayesWitnesses / m2cgen

haskell / haskell-language-server

wireapp / wire-server

typelead / eta

IHaskell / IHaskell

sdiehl / wiwinwlh

jaspervdj / patat

haskell / haskell-ide-engine

tidalcycles / Tidal

dmjio / miso

tweag / asterius

kaxap / arl

nayuki / Project-Euler-solutions

haskell-servant / servant

smallhadroncollider / taskell

LuxLang / lux

netgusto / nodebook