Trending repositories for language Haskell
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
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.
The ledger implementation and specifications of the Cardano blockchain.
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
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.
Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library
CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution
An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
A shell script which checks your $HOME for unwanted files and directories.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
Dynamically manage Tailscale route advertisements
CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution
Build, cache, and run possibly compiled scripts with dependencies using the Nix package manager
A tutorial about how to apply property-based testing to stateful systems.
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.
CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution
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.
Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
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, ...
Agda is a dependently typed programming language / interactive theorem prover.
CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution
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 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).
