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 (1222)
A git-compatible content tracker in Haskell.
Vim plugin manager written in Haskell
Active streaming declarative programmers. See who's online at the following URL:
Generate TypeScript definition files from your ADTs
Haskell implementation of RON and RON-RDT
Logging framework for Haskell
Lattice-based integer linear programming solver
Difference lists in Haskell
EVM (Ethereum virtual machine) Assembly on Haskell DSL
Compile Haskell-like code into C++ template metaprograms
Load environment variables from dotenv files for Haskell
Synchronise event and tracking data using dynamic programming
my Xmonad configuration
A native Haskell driver for PostgreSQL
A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).
Southern Exposure's E-Commerce Website, Built with Haskell & Elm.
batteries-included nix-based haskell project template
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
Hackage security framework based on TUF (The Update Framework)
A multiplayer web real-time implementation of the famous Tic Tac Toe game in Haskell.
Haskell bindings to Microsoft's Z3 API (unofficial).
Sturdy is a library for developing sound static analyses in Haskell.
đź“š Index for my study topics
Solutions and Editorials to all problems of CSES
An event sourced, purely functional application platform.
A high level HTTP client for Haskell that focuses on ease of use
OTP-like supervision trees in Haskell
:star: Useful resources for the Eta programming language
Haskell code complexity and quality measurement
A typed, persistent store for values of arbitrary types
Compare the public API of different versions of a Hackage library
Principled and efficient binary serialization
A terminal interface for Snake
Hakyll + Nix starter template
HN Compiler
🧠Type-safe memory units
A terminal interface for Conway's Game of Life
Wrappers around emacs-module.h to write Emacs modules in Haskell
A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.
Todo app build with Haskell (server-side) and Elm (client-side)
coveralls.io support for haskell code coverage with hpc