haskell
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.
Repositories (1240)
Interpret Haskell programs into any cartesian closed category.
:lock: Secure WebSocket (WSS) clients in Haskell.
Haskell Gamedev Toolkit, a library for developing games from scratch.
Unofficial Temporal Haskell SDK
Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)
haskell-ghc-mod atom package
The OpenTelemetry Haskell Client https://opentelemetry.io
A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.
Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty
Cryptographic library for Haskell
A fictional scenario implemented in multiple languages in order to compare language paradigms.
Generate TypeScript definition files from your ADTs
JavaScript pattern guards đź’‚
Literature review of GHC's Core language, System FC
Language Server Protocol for Nix
A git-compatible content tracker in Haskell.
Haskell implementation of RON and RON-RDT
Vim plugin manager written in Haskell
Logging framework for Haskell
đź“– Projects showcased in the book "Learn Haskell by Example"
Southern Exposure's E-Commerce Website, Built with Haskell & Elm.
Lattice-based integer linear programming solver
Difference lists in Haskell
EVM (Ethereum virtual machine) Assembly on Haskell DSL
Active streaming declarative programmers. See who's online at the following URL:
Load environment variables from dotenv files for Haskell
my Xmonad configuration
batteries-included nix-based haskell project template
A native Haskell driver for PostgreSQL
A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).
Compile Haskell-like code into C++ template metaprograms
Haskell bindings to Microsoft's Z3 API (unofficial).
Solutions and Editorials to all problems of CSES
A beginner's guide to Haskell optimization
nostr client app written in haskell and qt5
An implementation of "Freer Monads, More Extensible Effects".
A simple programming language targeting LLVM
Low-level low-overhead haskell bindings to vulkan API
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
A web-based version of the board game Yinsh
Open-source Smart Order Router framework to connect liquidity from the Genius Yield DEX
:leaves: :deciduous_tree: :fallen_leaf: Efficient implementation of the implicit treap data structure
:star: Useful resources for the Eta programming language
A typed, persistent store for values of arbitrary types
Hackage security framework based on TUF (The Update Framework)
Principled and efficient binary serialization
A terminal interface for Snake
Sturdy is a library for developing sound static analyses in Haskell.