haskell
Haskell is a functional programming language with non-strict semantics, and strong static typing.
There are 9825 repositories under haskell topic.
koalaman/shellcheck
ShellCheck, a static analysis tool for shell scripts
jgm/pandoc
Universal markup converter
hasura/graphql-engine
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
PostgREST/postgrest
REST API for any Postgres database
compiler-explorer/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
wasp-lang/wasp
The fastest way to develop full-stack web apps with React & Node.js.
hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
hadolint/hadolint
Dockerfile linter, validate inline bash, written in Haskell
lk-geimfari/awesomo
Cool open source projects. Choose your project and get involved in Open Source development now.
purescript/purescript
A strongly-typed language that compiles to JavaScript
liuxinyu95/AlgoXY
Book of Elementary Functional Algorithms and Data structures
unisonweb/unison
A friendly programming language from the future
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 📱!
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
input-output-hk/cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
extism/extism
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
xmonad/xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
koka-lang/koka
Koka language compiler and interpreter
simonmichael/hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
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
typelead/eta
The Eta Programming Language, a dialect of Haskell on the JVM
wireapp/wire-server
🇪🇺 Wire back-end services
haskell/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
IHaskell/IHaskell
A Haskell kernel for the Jupyter project.
sdiehl/wiwinwlh
What I Wish I Knew When Learning Haskell
haskell/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
jaspervdj/patat
Terminal-based presentations using Pandoc
dmjio/miso
:ramen: A tasty Haskell front-end framework
tidalcycles/Tidal
Pattern language
tweag/asterius
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
kaxap/arl
lists of most popular repositories for most favoured programming languages (according to StackOverflow)
nayuki/Project-Euler-solutions
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
haskell-servant/servant
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!
smallhadroncollider/taskell
Command-line Kanban board/task manager with support for Trello boards and GitHub projects
fosskers/aura
A secure, multilingual package manager for Arch Linux and the AUR.
LuxLang/lux
The Lux Programming Language