Haskell

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

There are 8,484 repositories under haskell topic.

koalaman / shellcheck
ShellCheck, a static analysis tool for shell scripts
haskell shell static-analysis bash linter developer-tools
Language:Haskell 31250
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 mysql postgres rest-api sql-server
Language:TypeScript 29135
jgm / pandoc
Universal markup converter
pandoc haskell markdown markup converter publishing document presentation commonmark
Language:Haskell 27776
PostgREST / postgrest
REST API for any Postgres database
haskell database rest postgresql server postgrest automatic-api postgres api http pg pgsql sql
Language:Haskell 19971
compiler-explorer / compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
rust c-plus-plus go dlang compiler cpp assembly ispc haskell swift rust-lang hacktoberfest
Language:TypeScript 12469
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 9996
lk-geimfari / awesomo
Cool open source projects written in various languages.
awesome ocaml erlang elixir rust python scala lua clojure haskell emacs-lisp list ruby open-source typescript dev lisp projects hacktoberfest
Language:Elixir 8785
hadolint / hadolint
Dockerfile linter, validate inline bash, written in Haskell
dockerfile linter shellcheck haskell dockerfile-linter docker static-analysis
Language:Haskell 8079
purescript / purescript
A strongly-typed language that compiles to JavaScript
alt-js haskell javascript purescript typed-language
Language:Haskell 7992
liuxinyu95 / AlgoXY
Book of Elementary Algorithms and Data structures
algorithms haskell functional-programming
Language:TeX 5506
unisonweb / unison
A friendly programming language from the future
hacktoberfest haskell programming-language unison unison-language
Language:Haskell 5011
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
framework hacktoberfest haskell html mvc nix postgresql
Language:Haskell 3828
input-output-hk / cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
haskell stake-blockchain-protocol cryptocurrency
Language:Haskell 3753
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 2852
typelead / eta
The Eta Programming Language, a dialect of Haskell on the JVM
eta functional-programming haskell jvm
Language:Haskell 2566
wireapp / wire-server
🇪🇺 Wire back-end services
wire server haskell rust
Language:Haskell 2503
koka
koka-lang / koka
Koka language compiler and interpreter
algebraic-effects effect-handlers handler haskell koka
Language:Haskell 2472
IHaskell / IHaskell
A Haskell kernel for the Jupyter project.
haskell jupyter
Language:Jupyter Notebook 2441
sdiehl / wiwinwlh
What I Wish I Knew When Learning Haskell
functional-programming-examples functional-programming examples article-series haskell
Language:Haskell 2429
haskell / haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
ghc haskell haskell-ide ide language-server-protocol lsp
Language:Haskell 2411
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 2352
simplex-chat / simplex-chat
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released 📱!
chat protocol e2ee privacy haskell security messaging encryption double-ratchet
Language:Haskell 2348
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 plain-text-accounting plain-text haskell-application bounties finance
Language:Haskell 2289
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 2278
wasp-lang / wasp
A programming language that understands what a web app is.
wasp web-app programming-language compiler react node prisma hacktoberfest javascript haskell
Language:Haskell 2259
dmjio / miso
:ramen: A tasty Haskell front-end framework
ghcjs haskell virtual-dom miso ramen ui nix javascript
Language:Haskell 2034
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 1998
jaspervdj / patat
Terminal-based presentations using Pandoc
pandoc haskell presentation markdown slideshow slides
Language:Haskell 1900
tidalcycles / Tidal
Pattern language
livecoding algorave pattern haskell language dsl kairotic live-coding
Language:C++ 1768
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 1728
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 1723
haskell-servant / servant
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!
hacktoberfest haskell
Language:Haskell 1677
extism
extism / extism
The Universal Plug-in System. Extend anything with WebAssembly.
browser c cpp csharp dotnet elixir go haskell java javascript node ocaml plugin-system python ruby rust sdk wasm webassembly zig
Language:Rust 1617
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 1589
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 1536
huangz1990 / real-world-haskell-cn
《Real World Haskell》中文翻译项目
haskell chinese-translation
Language:Haskell 1518

Related Topics

python react ios go scala