Trending
See what the GitHub community is most excited about today.
haskell / haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
jgm / pandoc
Universal markup converter
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
carp-lang / Carp
A statically typed lisp, without a GC, for real-time applications.
ghc / ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
input-output-hk / cardano-wallet
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
purescript / purescript
A strongly-typed language that compiles to JavaScript
b3nj5m1n / xdg-ninja
A shell script which checks your $HOME for unwanted files and directories.
wireapp / wire-server
input-output-hk / cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
haskell-beginners-2022 / course-plan
PostgREST / postgrest
REST API for any Postgres database
input-output-hk / cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
input-output-hk / marconi
unisonweb / unison
A friendly programming language from the future
kowainik / learn4haskell
kmonad / kmonad
An advanced keyboard manager
xmonad / xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
haskell / cabal
Official upstream development repository for Cabal and cabal-install
input-output-hk / plutus-pioneer-program
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
elm / compiler
Compiler for Elm, a functional language for reliable webapps.
awakesecurity / proto3-wire
koka-lang / koka
Koka language compiler and interpreter
input-output-hk / ouroboros-network
An implementation of the Ouroboros family of consensus algorithms, with its networking support