Haskell

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

There are 6,614 repositories under Haskell topic.

koalaman / shellcheck
ShellCheck, a static analysis tool for shell scripts
haskell shell static-analysis bash linter developer-tools
Language:Haskell 27571Updated 3 days ago
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.
graphql graphql-server postgres hasura access-control automatic-api api rest-api graphql-api sql-server bigquery mysql haskell
Language:Haskell 25255Updated 3 days ago
jgm / pandoc
Universal markup converter
pandoc haskell markdown markup converter publishing document presentation
Language:Haskell 24539Updated 3 days ago
PostgREST / postgrest
REST API for any Postgres database
haskell database rest postgresql server postgrest automatic-api
Language:Haskell 18249Updated 3 days ago
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:JavaScript 10060Updated 3 days ago
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 9128Updated 3 days ago
lk-geimfari / awesomo
Cool open source projects written in C, C++, Clojure, Lisp, Elixir, Erlang, Elm, Golang, Haskell, JavaScript, Lua, OCaml, Python, R, Ruby, Rust, Scala, etc.
awesome ocaml erlang elixir rust python scala lua clojure haskell emacs-lisp list ruby open-source typescript dev lisp projects hacktoberfest
Language:Python 8263Updated 4 days ago
purescript / purescript
A strongly-typed language that compiles to JavaScript
haskell purescript javascript typed-language alt-js
Language:Haskell 7528Updated 3 days ago
hadolint / hadolint
Dockerfile linter, validate inline bash, written in Haskell
dockerfile linter shellcheck haskell dockerfile-linter docker static-analysis
Language:Haskell 6413Updated 3 days ago
liuxinyu95 / AlgoXY
Book of Elementary Algorithms and Data structures
algorithms haskell functional-programming
Language:TeX 5058Updated 4 days ago
unisonweb / unison
A friendly programming language from the future
haskell programming-language unison unison-language hacktoberfest
Language:Haskell 4238Updated 4 days ago
input-output-hk / cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
haskell stake-blockchain-protocol cryptocurrency
Language:Haskell 3743Updated 5 days ago
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 2912Updated 3 days ago
typelead / eta
The Eta Programming Language, a dialect of Haskell on the JVM
eta jvm haskell functional-programming
Language:Haskell 2511Updated 5 days ago
haskell / haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
ide haskell haskell-ide lsp language-server-protocol ghc
Language:Haskell 2431Updated 6 days ago
wireapp / wire-server
🇪🇺 Wire back-end services
wire server haskell rust
Language:Haskell 2409Updated 3 days ago
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 2289Updated 3 days ago
sdiehl / wiwinwlh
What I Wish I Knew When Learning Haskell
functional-programming-examples functional-programming examples article-series haskell
Language:Haskell 2273Updated 4 days ago
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 2000Updated 3 days ago
dmjio / miso
:ramen: A tasty Haskell front-end framework
ghcjs haskell virtual-dom miso ramen ui nix javascript
Language:Haskell 1924Updated 4 days ago
simonmichael / hledger
A reliable, user-friendly Plain Text Accounting tool with command line, terminal and web interfaces.
hledger haskell ledger plaintext-accounting web-application console-application command-line-tool bounty tui library accounting plaintext plain-text-accounting plain-text finances haskell-application stackage-lts sponsor bounties hacktoberfest
Language:Haskell 1919Updated 4 days ago
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
Language:Haskell 1913Updated 3 days ago
koka
koka-lang / koka
Koka language compiler and interpreter
algebraic-effects koka handler haskell effect-handlers
Language:Haskell 1906Updated 4 days ago
tweag / asterius
A Haskell to WebAssembly compiler
webassembly haskell compiler ghc
Language:Haskell 1822Updated 3 days ago
jaspervdj / patat
Terminal-based presentations using Pandoc
pandoc haskell presentation markdown slideshow slides
Language:Haskell 1736Updated 5 days ago
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 1600Updated 7 days ago
haskell-servant / servant
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!
hacktoberfest haskell
Language:Haskell 1568Updated 3 days ago
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 1553Updated 3 days ago
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 1525Updated 5 days ago
tidalcycles / Tidal
Pattern language
livecoding algorave pattern haskell language dsl kairotic live-coding
Language:Haskell 1507Updated 4 days ago
huangz1990 / real-world-haskell-cn
《Real World Haskell》中文翻译项目
haskell chinese-translation
Language:Haskell 1466Updated 5 days ago
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 1430Updated 3 days ago
valderman / haste-compiler
A GHC-based Haskell to JavaScript compiler
haskell javascript ghc web language compiler
Language:Haskell 1426Updated 13 days ago
HuwCampbell / grenade
Deep Learning in Haskell
machine-learning deep-neural-networks haskell deep-learning generative-adversarial-networks convolutional-neural-networks
Language:Haskell 1372Updated 6 days ago
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 1333Updated 4 days ago
cabal
haskell / cabal
Official upstream development repository for Cabal and cabal-install
cabal haskell hackage
Language:Haskell 1332Updated 5 days ago

Related Topics

scala functional-programming reactive elm