Haskell

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

There are 11,306 repositories under haskell topic.

pandoc
jgm / pandoc
Universal markup converter
commonmark converter document haskell markdown markup pandoc presentation publishing
Language:Haskell 40082
koalaman / shellcheck
ShellCheck, a static analysis tool for shell scripts
bash developer-tools haskell linter shell static-analysis
Language:Haskell 38396
graphql-engine
hasura / graphql-engine
Blazing fast, instant realtime GraphQL APIs on all your data 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 31799
PostgREST / postgrest
REST API for any Postgres database
api automatic-api database haskell http pg pgsql postgres postgresql postgrest rest server sql
Language:Haskell 25968
compiler-explorer / compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
assembly c c-plus-plus compiler cpp dlang go hacktoberfest haskell haskell-language ispc python rust rust-lang swift
Language:TypeScript 18184
wasp-lang / wasp
The fastest way to develop full-stack web apps with React & Node.js.
haskell javascript node open-source prisma react wasp web-app
Language:TypeScript 17883
hadolint / hadolint
Dockerfile linter, validate inline bash, written in Haskell
docker dockerfile dockerfile-linter haskell linter shellcheck static-analysis
Language:Haskell 11633
hmemcpy / milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
haskell category-theory functional-programming pdf latex cpp scala ocaml
Language:TeX 11408
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 9839
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 9724
purescript / purescript
A strongly-typed language that compiles to JavaScript
alt-js haskell javascript purescript typed-language
Language:Haskell 8788
liuxinyu95 / AlgoXY
Book of Elementary Functional Algorithms and Data structures
algorithms haskell functional-programming
Language:TeX 6299
unisonweb / unison
A friendly programming language from the future
hacktoberfest haskell programming-language unison unison-language
Language:Haskell 6234
extism
extism / extism
The framework for building with WebAssembly (wasm). Easily & securely 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 5266
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 5164
kmonad / kmonad
An advanced keyboard manager
cross-platform haskell keyboard keyboard-layout linux macos windows
Language:Haskell 4785
input-output-hk / cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
cryptocurrency haskell stake-blockchain-protocol
Language:Haskell 3783
koka
koka-lang / koka
Koka language compiler and interpreter
algebraic-effects koka handler haskell effect-handlers
Language:Koka 3728
simonmichael / hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
hledger haskell ledger web-application console-application command-line-tool tui accounting plaintext finance haskell-applications plaintextaccounting
Language:Haskell 3581
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 3496
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
machine-learning scikit-learn statistical-learning xgboost lightgbm java python c javascript go csharp php r dartlang statsmodels lightning haskell ruby rust
Language:Python 2924
haskell / haskell-language-server
Official Haskell IDE support via the language server protocol (LSP)
lsp-server haskell-language-server ide haskell cabal stack ghc hacktoberfest
Language:Haskell 2861
tidalcycles / Tidal
Pattern language
livecoding algorave pattern haskell language dsl kairotic live-coding
Language:Haskell 2792
wireapp / wire-server
🇪🇺 Wire back-end services
wire server haskell rust
Language:Haskell 2719
sdiehl / wiwinwlh
What I Wish I Knew When Learning Haskell
article-series examples functional-programming functional-programming-examples haskell
Language:Haskell 2639
IHaskell / IHaskell
A Haskell kernel for the Jupyter project.
haskell jupyter
Language:Jupyter Notebook 2637
jaspervdj / patat
Terminal-based presentations using Pandoc
haskell markdown pandoc presentation slides slideshow terminal
Language:Haskell 2637
typelead / eta
The Eta Programming Language, a dialect of Haskell on the JVM
eta jvm haskell functional-programming
Language:Haskell 2630
cdleon / awesome-terminals
Terminal Emulators
bash c command-line cpp golang haskell node powershell python ruby rust shell swift terminal terminal-emulators tty
2373
haskell / haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
ide haskell haskell-ide lsp language-server-protocol ghc
Language:Haskell 2370
dmjio / miso
:ramen: A tasty Haskell web framework
ghcjs haskell virtual-dom miso ramen ui nix javascript ghc wasm web-assembly typescript
Language:Haskell 2333
kaxap / arl
lists of most popular repositories for most favoured programming languages (according to StackOverflow)
assembly awesome c cpp csharp golang haskell java matlab nodejs objective-c perl php python r ruby scala swift typescript vbnet
Language:Python 2049
tweag / asterius
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
webassembly haskell compiler ghc
Language:Haskell 1958
nayuki / Project-Euler-solutions
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
java python mathematica project-euler math mathematics competitive-programming number-theory algorithms proofs dynamic-programming recursion haskell
Language:Java 1949
haskell-servant / servant
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
hacktoberfest haskell
Language:Haskell 1918
smallhadroncollider / taskell
Command-line Kanban board/task manager with support for Trello boards and GitHub projects
task-manager command-line opensource kanban haskell homebrew macos linux vim-keybindings markdown kanban-board trello github
Language:Haskell 1762

Haskell

jgm / pandoc

koalaman / shellcheck

hasura / graphql-engine

PostgREST / postgrest

compiler-explorer / compiler-explorer

wasp-lang / wasp

hadolint / hadolint

hmemcpy / milewski-ctfp-pdf

simplex-chat / simplex-chat

lk-geimfari / awesomo

purescript / purescript

liuxinyu95 / AlgoXY

unisonweb / unison

extism / extism

digitallyinduced / ihp

kmonad / kmonad

input-output-hk / cardano-sl

koka-lang / koka

simonmichael / hledger

xmonad / xmonad

BayesWitnesses / m2cgen

haskell / haskell-language-server

tidalcycles / Tidal

wireapp / wire-server

sdiehl / wiwinwlh

IHaskell / IHaskell

jaspervdj / patat

typelead / eta

cdleon / awesome-terminals

haskell / haskell-ide-engine

dmjio / miso

kaxap / arl

tweag / asterius

nayuki / Project-Euler-solutions

haskell-servant / servant

smallhadroncollider / taskell