Haskell

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

There are 10,541 repositories under haskell topic.

koalaman / shellcheck
ShellCheck, a static analysis tool for shell scripts
bash developer-tools haskell linter shell static-analysis
Language:Haskell 34970
pandoc
jgm / pandoc
Universal markup converter
commonmark converter document haskell markdown markup pandoc presentation publishing
Language:Haskell 32384
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 30811
PostgREST / postgrest
REST API for any Postgres database
haskell database rest postgresql server postgrest automatic-api postgres api http pg pgsql sql
Language:Haskell 22173
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 15138
wasp-lang / wasp
The fastest way to develop full-stack web apps with React & Node.js.
wasp web-app programming-language compiler react node prisma hacktoberfest javascript haskell open-source
Language:TypeScript 11476
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 10748
hadolint / hadolint
Dockerfile linter, validate inline bash, written in Haskell
dockerfile linter shellcheck haskell dockerfile-linter docker static-analysis
Language:Haskell 9701
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 9229
purescript / purescript
A strongly-typed language that compiles to JavaScript
alt-js haskell javascript purescript typed-language
Language:Haskell 8458
liuxinyu95 / AlgoXY
Book of Elementary Functional Algorithms and Data structures
algorithms functional-programming haskell
Language:TeX 5983
unisonweb / unison
A friendly programming language from the future
hacktoberfest haskell programming-language unison unison-language
Language:Haskell 5552
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 protocol e2ee privacy haskell security messaging encryption double-ratchet
Language:Haskell 5277
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 4221
input-output-hk / cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
haskell stake-blockchain-protocol cryptocurrency
Language:Haskell 3756
extism
extism / extism
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
plugin-system c cpp go ocaml python ruby rust haskell wasm webassembly node elixir javascript browser csharp dotnet java zig serverless
Language:Rust 3752
xmonad / xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
xmonad haskell x11 window-manager x11-wm hacktoberfest
Language:Haskell 3239
koka
koka-lang / koka
Koka language compiler and interpreter
algebraic-effects effect-handlers handler haskell koka
Language:Haskell 3051
simonmichael / hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
hledger haskell ledger plaintext-accounting web-application console-application command-line-tool bounty tui accounting plaintext bounties finance haskell-applications plaintextaccounting
Language:Haskell 2759
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 2706
typelead / eta
The Eta Programming Language, a dialect of Haskell on the JVM
eta jvm haskell functional-programming
Language:Haskell 2594
wireapp / wire-server
🇪🇺 Wire back-end services
haskell rust server wire
Language:Haskell 2587
haskell / haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
lsp-server haskell-language-server ide haskell cabal stack ghc hacktoberfest
Language:Haskell 2571
IHaskell / IHaskell
A Haskell kernel for the Jupyter project.
haskell jupyter
Language:Jupyter Notebook 2542
sdiehl / wiwinwlh
What I Wish I Knew When Learning Haskell
article-series examples functional-programming functional-programming-examples haskell
Language:Haskell 2530
haskell / haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
ghc haskell haskell-ide ide language-server-protocol lsp
Language:Haskell 2386
jaspervdj / patat
Terminal-based presentations using Pandoc
haskell markdown pandoc presentation slides slideshow terminal
Language:Haskell 2329
dmjio / miso
:ramen: A tasty Haskell front-end framework
ghcjs haskell javascript miso nix ramen ui virtual-dom
Language:Haskell 2138
tidalcycles / Tidal
Pattern language
livecoding algorave pattern haskell language dsl kairotic live-coding
Language:C++ 2127
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 1983
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 1880
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 1834
haskell-servant / servant
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!
hacktoberfest haskell
Language:Haskell 1769
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 1697
fosskers / aura
A secure, multilingual package manager for Arch Linux and the AUR.
arch-linux haskell aura package-manager pacman
Language:Haskell 1638
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 1636

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

liuxinyu95 / AlgoXY

unisonweb / unison

simplex-chat / simplex-chat

digitallyinduced / ihp

input-output-hk / cardano-sl

extism / extism

xmonad / xmonad

koka-lang / koka

simonmichael / hledger

BayesWitnesses / m2cgen

typelead / eta

wireapp / wire-server

haskell / haskell-language-server

IHaskell / IHaskell

sdiehl / wiwinwlh

haskell / haskell-ide-engine

jaspervdj / patat

dmjio / miso

tidalcycles / Tidal

tweag / asterius

kaxap / arl

nayuki / Project-Euler-solutions

haskell-servant / servant

smallhadroncollider / taskell

fosskers / aura

LuxLang / lux