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)
Automated reward payment & account management for Tezos bakers.
Generate Nix build instructions from a Stack file
Random DDD related things in Haskell
Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
©️ Manager for license headers in source code files.
"Hack" like a programmer in movies and games! Inspired by hackertyper.net
Plutus Starter Template
Retrying for humans using Haskell.
♾️ Sized list
👅 Parse Haskell Language Extensions
Ties the knot on data structures that reference each other by unique keys
Haskell bindings to the libui C library.
Fast Unicode normalization in Haskell
Focused domain model declaration toolkit for Haskell
gopher library & server written in Haskell
Add early return to any do-expression
:bookmark: Personal notes: today I learned
A simple interface for generating persistent data and linking its dependencies
Provide embedded swagger UI for servant and swagger
⭕️ N2O: Haskell Application Server
Declarative configuration spec for Haskell projects
Bindings to the Zstandard library to make it usable from the Haskell programming language.
A Haskell binding to the POSIX sockets API
💝 Haskell profiles to sponsor
FLAW is an experimental game engine in Haskell
:books: codes written while learning them.
Solutions to exercises from the book Programming in Haskell (2nd Edition)
Formally prove properties of Haskell programs using SBV/SMT.
dino game, terminal edition
Generic data types in Haskell, utilities for GHC.Generics
A collection of awesome Haskell videos. Inspired by awesome projects line.
Nix builds of Haskell Language Server
A faster date and time library based on time
📺 The power of Haskell in your terminal!
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and...
Many-dimensional type-safe numeric ops
OAuth2 and OpenID Connect in Haskell
Typesafe URLs for Haskell Wai applications
TDD with Clean Architectecture (aka Hexagonal, Ports & adapter) in Haskell
Reinforcement learning in haskell
Play 2048 from the command line /terminal !
Haskell MQTT client.
Pre-processor for .hsc files
Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)
An example GHCJS + Miso single page application. 🍜
Language-generic workbench for building static analysis
Haskell bindings for the Botan cryptography library
True pipeline operators and elegant Haskell-style function composition for Lua
Various functions which are used across multiple @serokell packages