Trending repositories for language Haskell
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
The core component that is used to participate in a Cardano decentralised blockchain.
A language for intent-centric and declarative decentralised applications
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
Price tracking program and website for Trader Joe's, updated daily.
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
A language for intent-centric and declarative decentralised applications
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
:boom::computer::boom: A data-parallel functional programming language
A shell script which checks your $HOME for unwanted files and directories.
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
A language for intent-centric and declarative decentralised applications
Easily consume JSON data on-demand with type-safety
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
Price tracking program and website for Trader Joe's, updated daily.
A language for intent-centric and declarative decentralised applications
Nix expressions for VSCode and OpenVSX extensions [maintainers: @deemp, @AmeerTaweel]
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
Code and materials for my book "Pragmatic Type Level Design"
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
A statically typed lisp, without a GC, for real-time applications.
:boom::computer::boom: A data-parallel functional programming language
Nix expressions for VSCode and OpenVSX extensions [maintainers: @deemp, @AmeerTaweel]
Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
Code and materials for my book "Pragmatic Type Level Design"
A special-purpose processor for pure, non-strict functional languages
OpenTelemetry support for the Haskell programming language
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
Nix expressions for VSCode and OpenVSX extensions [maintainers: @deemp, @AmeerTaweel]
Calendar of Public Holidays in China 中国大陆节假日日历订阅 自动节假日闹钟
Software suite for ranking chess positions and accurately estimating the number of legal chess positions
Production ready, modern web-application starter template using haskell and htmx
Turnstyle is a graphical esoteric programming language based on lambda calculus
The universal document converter, compiled for WebAssembly and running in the browser.
Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
Dockerfile linter, validate inline bash, written in Haskell
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
A shell script which checks your $HOME for unwanted files and directories.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Agda is a dependently typed programming language / interactive theorem prover.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode
The universal document converter, compiled for WebAssembly and running in the browser.
Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
A special-purpose processor for pure, non-strict functional languages
