Trending repositories for language Haskell
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 n...
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcaps, ...
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcaps, ...
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
Tutorial on Hledger setup with multi-year files, multi-source imports and a range of auto-generated reports
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
Minimal implementations for dependent type checking and elaboration
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 n...
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Interactively browse dependency graphs of Nix derivations.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
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 n...
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.
Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
Library for generating Haskell source files and code fragments.
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcaps, ...
Interactively browse dependency graphs of Nix derivations.
A shell script which checks your $HOME for unwanted files and directories.
Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
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.
A statically typed lisp, without a GC, for real-time applications.
Agda is a dependently typed programming language / interactive theorem prover.
Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
ShiTT is a toy proof assistant. (This project will be rewritten soon)
The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).
Code and materials for my book "Pragmatic Type Level Design"
Production ready, modern web-application starter template using haskell and htmx
Turnstyle is a graphical esoteric programming language based on lambda calculus
Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
ShiTT is a toy proof assistant. (This project will be rewritten soon)
Build, cache, and run possibly compiled scripts with dependencies using the Nix package manager
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.
Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
A special-purpose processor for pure, non-strict functional languages
The universal document converter, compiled for WebAssembly and running in the browser.
The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).