Haskell is a functional (that is, everything is done with function calls), statically, implicitly typed (types are checked by the compiler, but you don't have to declare them), lazy (nothing is done until it needs to be) language.
37.3k
@koalaman
ShellCheck, a static analysis tool for shell scripts
37.2k
@jgm
Universal markup converter
31.5k
@hasura
Blazing fast, instant realtime GraphQL APIs on all your data with fine grained access control, also trigger webhooks on database events.
25.2k
@PostgREST
REST API for any Postgres database
17.4k
@compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
16.8k
@wasp-lang
The fastest way to develop full-stack web apps with React & Node.js.
11.2k
@hmemcpy
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
10.9k
@hadolint
Dockerfile linter, validate inline bash, written in Haskell
9.6k
@lk-geimfari
Cool open source projects. Choose your project and get involved in Open Source development now.
8.7k
@purescript
A strongly-typed language that compiles to JavaScript
8.5k
@simplex-chat
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
6.2k
@liuxinyu95
Book of Elementary Functional Algorithms and Data structures
6k
@unisonweb
A friendly programming language from the future
5.1k
@digitallyinduced
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
4.9k
@extism
The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
4.4k
@kmonad
An advanced keyboard manager
3.8k
@input-output-hk
Cryptographic currency implementing Ouroboros PoS protocol
3.5k
@koka-lang
Koka language compiler and interpreter
3.4k
@xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
3.2k
@simonmichael
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.