README-Haskell.md

August 24, 2022 ยท View on GitHub

STARSFORKSISSUESLAST COMMITNAME/PLACEDESCRIPTION
29701149777721 days agoshellcheck/1ShellCheck, a static analysis tool for shell scripts
263292963848an hour agopandoc/2Universal markup converter
191108901875 days agopostgrest/3REST API for any Postgres database
8456493104a month agosemantic/4Parsing, analyzing, and comparing source code across many languages
780355727624 days agopurescript/5A strongly-typed language that compiles to JavaScript
738532312330 days agohadolint/6Dockerfile linter, validate inline bash, written in Haskell
69176312884 months agocompiler/7Compiler for Elm, a functional language for reliable webapps.
465016313010 days agoCarp/8A statically typed lisp, without a GC, for real-time applications.
45572358242 minutes agounison/9A friendly programming language from the future
410632352 months agoHaxl/10A Haskell library that simplifies access to remote data, such as databases or web-based services.
38741176156 days agofp-course/11Functional Programming Course
37566211882 years agocardano-sl/12Cryptographic currency implementing Ouroboros PoS protocol
375084188822 hours agostack/13The Haskell Tool Stack
3672695107a month agoduckling/14Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
3423149192a day agoihp/15๐Ÿ”ฅ The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
3363661710a day agoIdris-dev/16A Dependently Typed Functional Programming Language
3165254295 years agowrite-you-a-haskell/17Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
277516614a month agoawesome-haskell/18A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
27726286847 hours agocardano-node/19The core component that is used to participate in a Cardano decentralised blockchain.
27376898a day agoghc/20Mirror 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 newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
26772604611 days agoxmonad/21The core of xmonad, a small but functional ICCCM-compliant tiling window manager
263916574 years agoFunctional-Programming/22Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
25381502433 years agoeta/23The Eta Programming Language, a dialect of Haskell on the JVM
25371902928 months agoghcjs/24Haskell to JavaScript compiler, based on GHC
2481408118a day agohakyll/25A static website compiler library in Haskell
247972407 months agoSimula/26Linux VR Desktop
247136397a month agoyesod/27A RESTful Haskell web framework built on WAI.
2466335836 hours agowire-server/28๐Ÿ‡ช๐Ÿ‡บ Wire back-end services
24152263021 year, 10 months agohaskell-ide-engine/29The engine for haskell ide-integration. Not an IDE
238323691 year, 1 month agowiwinwlh/30What I Wish I Knew When Learning Haskell
22841121316 months agokoka/31Koka language compiler and interpreter
2134251442a day agohaskell-language-server/32Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
2127258352a day agohledger/33Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
2107116815 years agocorrode/34C to Rust translator
20212152015 months agogitit/35A wiki using HAppS, pandoc, and git
20192231263 days agokmonad/36An advanced keyboard manager
198513615a day agomiso/37:ramen: A tasty Haskell front-end framework
1947601367 months agoasterius/38A Haskell to WebAssembly compiler
19082528792 days agoagda/39Agda is a dependently typed programming language / interactive theorem prover.
18762428812 days agolens/40Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
184053202 days agopatat/41Terminal-based presentations using Pandoc
1835134606 days agofuthark/42:boom::computer::boom: A data-parallel functional programming language
1824751983 hours agowasp/43A programming language that understands what a web app is.
179668176 days agolamdu/44lamdu - towards the next generation IDE
169230016028 days agodapptools/45Dapp, Seth, Hevm, and more
1646373286a month agoservant/46Main repository for the servant libraries โ€” DSL for describing, serving, querying, mocking, documenting web applications and more!
1601384626 years agozsh-git-prompt/47Informative git prompt for zsh
1597126452 months agoscotty/48Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
15961352010 months agoerd/49Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.
1590137246 years agoHLearn/50Homomorphic machine learning
157666603 days agosimplex-chat/51SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released ๐Ÿ“ฑ!
1506224255 years agoreal-world-haskell-cn/52ใ€ŠReal World Haskellใ€‹ไธญๆ–‡็ฟป่ฏ‘้กน็›ฎ
1475196371 year, 6 months agohaskell/53Haskell bindings for TensorFlow
14531982231 year, 9 months agoyi/54The Haskell-Scriptable Editor
1442114633 years agohaste-compiler/55A GHC-based Haskell to JavaScript compiler
143852469 months agotaskell/56Command-line Kanban board/task manager with support for Trello boards and GitHub projects
1427112437 days agoaura/57A secure, multilingual package manager for Arch Linux and the AUR.
1413150264 months agoneuron/58Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
1402610140140 minutes agocabal/59Official upstream development repository for Cabal and cabal-install
139685242 years agogrenade/60Deep Learning in Haskell
13954171073 hours agoplutus/61The Plutus language implementation and tools
133110347 months agohaskell-trainings/62Haskell 101 and 102: slides and codelabs
13261483a day agobrick/63A declarative Unix terminal UI library written in Haskell
1319582424 months agoplutus-pioneer-program/64None
1295174210a day agohlint/65Haskell source code suggestions
12841392233 months agoelm-format/66elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
127689241 year, 7 months agofay/67A proper subset of Haskell that compiles to JavaScript
124585154a day agodex-lang/68Research language for array processing in the Haskell/ML family
1215138114 months agowstunnel/69Tunneling over websocket protocol - Static binary available
12072013127 months agocodeworld/70Educational computer programming environment using Haskell
11701312372 days agoclash-compiler/71Haskell to VHDL/Verilog/SystemVerilog compiler
1137138652 months agoImplicitCAD/72A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
11352736813 days agoaeson/73A fast Haskell JSON library
110790101 year, 2 months agoarticles/74Miscellaneous articles. The readme is the table of contents.
109549302 years agogifcurry/75๐Ÿ˜Ž The open-source, Haskell-built video editor for GIF makers.
10776004 years agohaskell-must-watch/76Huge list of videos, talks, courses for Haskell programming language.
104763152 days agoxdg-ninja/77A shell script which checks your $HOME for unwanted files and directories.
10451001014 months agoghcid/78Very low feature GHCi based IDE
104055803 months agoniv/79Easy dependency management for Nix projects
1033161555 days agofossa-cli/80Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
103087373 years agoHaLVM/81The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
1030139248 months agoqueryparser/82Parsing and analysis of Vertica, Hive, and Presto SQL.
1028144302 years agointero/83None
10231131802 days agocryptol/84Cryptol: The Language of Cryptography
10222535919 days agodevelopers-roadmap/85How to learn front-end or back-end development
10001331610 months agofp-course/86Functional Programming Course
100014386a month agoreflex/87Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.
99941651 year, 9 months agokitten/88A statically typed concatenative systems programming language.
98930192 years agokit/89(INACTIVE) Kit: a magical, high performance programming language, designed for game development. Pre-alpha!
98611543720 days agoliquidhaskell/90Liquid Types For Haskell
9703414a month agotoodles/91Project management directly from the TODOs in your codebase
9661092294 months agoleksah/92Haskell IDE
95312894 years agokaleidoscope/93Haskell LLVM JIT Compiler Tutorial
951664130 days agopolysemy/94:gemini: higher-order, no-boilerplate monads
94032294 months agogrin/95GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
9285631 year, 1 month agosoftware-design-in-haskell/96Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
92033452 years agoradicle-alpha/97A peer-to-peer stack for code collaboration
9182776 months agogreenclip/98Simple clipboard manager to be integrated with rofi - Static binary available
9157639a month agomatterhorn/99A feature-rich Unix terminal client for the Mattermost chat system
9125223a month agoreanimate/100Haskell library for building declarative animations based on SVG graphics
87790793 months agohasktorch/101Tensors and neural networks in Haskell
8702512 years agounused/102Deprecated; see https://github.com/unused-code/unused
871138104a month agostylish-haskell/103Haskell code prettifier
86392402 months agoturtle/104Shell programming, Haskell style
85134172 months agoegison/105The Egison Programming Language
822111575 months agoaccelerate/106Embedded language for high-performance array computations
8223798 months agoLtuPatternFactory/107Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
82018841a month agoconduit/108A streaming data library
805728122 months agolearn4haskell/109๐Ÿ‘ฉโ€๐Ÿซ ๐Ÿ‘จโ€๐Ÿซ Learn Haskell basics in 4 pull requests
80463a month agoneut/110A dependently-typed programming language with compile-time malloc/free determination
800101317 days agooptparse-applicative/111Applicative option parser
80047823 days agoproject-m36/112Project: M36 Relational Algebra Engine
791563830 days agorio/113A standard library for Haskell
78676106 days agomegaparsec/114Industrial-strength monadic parser combinator library
785189a month agobench/115Command-line benchmark tool
78256315 months agoRome/116Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others
7754016 years agodetexify-hs-backend/117Detexify Backend written in Haskell
77213194 years agoelm-platform/118Bundle of all core development tools for Elm
765891255 months agoobelisk/119Functional reactive web and mobile applications, with batteries included.
76571567 days agoormolu/120A formatter for Haskell source code
75533163 years agowaymonad/121A wayland compositor based on ideas from and inspired by xmonad
75429494 months agolinux_notification_center/122A notification daemon/center for linux
750242552 days agowai/123Haskell Web Application Interface
74685433 months agoparsec/124A monadic parser combinator library
73758340a day agostreamly/125Dataflow programming and declarative concurrency
73132117 hours agoGlean/126System for collecting, deriving and working with facts about source code.
73023155 years agooden/127The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
72328372 years agosixten/128Functional programming with fewer indirections
70868533 months agopandoc-crossref/129Pandoc filter for cross-references
70825102 months agopboy/130a small .pdf management tool with a command-line UI
7061141854 months agoshake/131Shake build system
69939230 days agocgrep/132Cgrep: a context-aware grep for source codes
6956086 years agodnngraph/133A DSL for deep neural networks, supporting Caffe and Torch
69211215111 days agobsc/134Bluespec Compiler (BSC)
684731217 months agobrittany/135haskell source code formatter
68196829 months agodistributed-process/136Cloud Haskell core library
6801811153 years agoghc-mod/137Happy Haskell Hacking for editors. DEPRECATED
6751645 months agoglance/138A visual Haskell
673101653 months agospago/139๐Ÿ PureScript package manager and build tool powered by Dhall and package-sets
6701911055 hours agocardano-wallet/140HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
6619933a day agohspec/141A Testing Framework for Haskell
65767448 days agoalga/142Algebraic graphs
655582923 days agoSpock/143Another Haskell web framework for rapid development
65471306 months agosummoner/144๐Ÿ”ฎ ๐Ÿ”ง Tool for scaffolding batteries-included production-level Haskell projects
64864110 years agostanford-cs240h/145Course materials for Stanford CS240h, "Functional Systems in Haskell"
64412816 years agoHaskell-Data-Analysis-Cookbook/146Accompanying Source Code for the Haskell Data Analysis Cookbook
6383521 year, 4 months agotetris/147A terminal interface for Tetris
635112783 months agoquickcheck/148Automatic testing of Haskell programs.
633104862 hours agohaskell-hedgehog/149Release with confidence, state-of-the-art property testing for Haskell.
62727101 year, 5 months agotransient/150A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web, and distributed computing with complete de-inversion of control (No callbacks, no blocking, pure state)
62574920 days agorelude/151๐ŸŒ€ Safe, performant, user-friendly and lightweight Haskell standard library
6221181314 days agohoogle/152Haskell API search engine
60541201 year, 10 months agorasa/153Extremely modular text editor built in Haskell
5994304 years agolegion/154Simple blockchain server written in haskell
596128612 months agotaffybar/155A gtk based status bar for tiling window managers such as XMonad
5961482 years agoforest-compiler/156A multi-syntax functional programming language that compiles to WebAssembly.
5958601 year, 7 months agohaskell-exercises/157A little course to learn about some of the more obscure GHC extensions.
59417675 months agoapplied-fp-course/158Applied Functional Programming Course - Move from exercises to a working app!
59671234 years agohelm/159A functionally reactive game engine, with headgear to protect you from the headache of game development provided.
59110101 year, 7 months agoghcide/160A library for building Haskell IDE tooling
58540161 year, 7 months agopurescript-native/161A native compiler backend for PureScript (via C++ or Golang)
5723537 months agoFP-Course-ITMO/162Slides and other materials for functional programming lectures ITMO university
56730103a day agoswarm/163Resource gathering + programming game
5654726a month agofused-effects/164A fast, flexible, fused effect system for Haskell
5621181014 days agohaskell-opaleye/165None
562832813 days agotasty/166Modern and extensible testing framework for Haskell
5642305 years agohython/167Haskell-powered Python 3 interpreter
54615621an hour agoreach-lang/168Reach: The Safest and Smartest DApp Programming Language
53798594 months agohpack/169hpack: A modern format for Haskell packages
53738106 months agoHaskellR/170The full power of R in Haskell.
53421920 days agoespial/171Espial is an open-source, web-based bookmarking server.
533541063 days agoLambdaHack/172Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at
529209679 days agoamazonka/173A comprehensive Amazon Web Services SDK for Haskell.
52911378a month agohindent/174Haskell pretty printer
52611528a month agotip-toi-reveng/175Trying to understand the file format of Tip Toi
524481710 hours agohstream/176HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.
5208388a day agopact/177The Pact Smart Contract Language
5202021 year, 1 month agozero-bullshit-haskell/178Learn Haskell, without the bullshit.
5179544 months agohaskoin-core/179Haskoin Core is a Bitcoin and Bitcoin Cash library
5131371105 months agobeam/180A type-safe, non-TH Haskell SQL library and ORM
51172223 years agocubicaltt/181Experimental implementation of Cubical Type Theory
51015406 years agoFP101x-Content-2015/182FP101x - Functional Programming MOOC 2015 Content Repository
5074032 years agobulletproofs/183Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
5061581 year, 9 months agoeff/184๐Ÿšง a work in progress effect system for Haskell ๐Ÿšง
5043006 years agocarnival/185An unobtrusive, developer-friendly way to add comments
50936242 months agoPerspec/186Scriptable desktop app to correct the perspective of images
497725311 days agoreactive-banana/187Library for functional reactive programming in Haskell.
493102311 months agoscheme/188Write You a Scheme
4871901 year, 7 months agobartosz-basics-of-haskell/189Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
4862661 year, 2 months agostgi/190A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
4843533 years agointro_to_parsing/191Introduction to parsing with Haskell and Parsec
48820202 years agohaskell-code-explorer/192Web application for exploring and understanding Haskell codebases
483813017 days agocriterion/193A powerful but simple library for measuring the performance of Haskell code.
48289344 months agoattoparsec/194A fast Haskell library for parsing ByteStrings
481253525 hours agoxmonad-contrib/195Contributed modules for xmonad
478357426 days agostan/196๐Ÿ•ต๏ธ Haskell STatic ANalyser
47426334 months agogranule/197A statically typed linear functional language with graded modal types for fine-grained program reasoning
47024203 years agohylogen/198GLSL embedded in Haskell
46932917 days agocachix/199Command line client for Nix binary cache hosting:
4662053 months agojl/200Functional sed for JSON
4662605 years ago10-minute-vim-exercises/201The exercise files from 10 Minute Vim, for convenience of readers
4664034 years agohell/202None
465811275 days agofoundation/203Empire strikes back
46530185 years agofrp-zoo/204Comparing many FRP implementations by reimplementing the same toy app in each.
4664904 years agoDeepDarkFantasy/205A Programming Language for Deep Learning
4648004 years agohpffp-resources/206Haskell Programming From First Principles - Follow-up Resources
46016934 years agoxmonad-config/207My xmonad and xmobar configuration, plus necessary scripts to make things more usable.
45971153 months agoHaskell-Pipes-Library/208Compositional pipelines
4584624a month agohasql/209Performant PostgreSQL driver with a flexible mapping API
4515277 months agojuno/210Smart Contracts Running on a BFT Hardened Raft
45223203 months agoretrie/211Retrie is a powerful, easy-to-use codemodding tool for Haskell.
4527909 days agopi-forall/212A demo implementation of a simple dependently-typed language
4495036a month agoselda/213A type-safe, high-level SQL library for Haskell
4481411 year, 9 months agoWhyHaskellMatters/214In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.
44465331 year, 8 months agosnap/215Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.
439301120 days agosparkle/216Haskell on Apache Spark.
4292125 years agotime.gif/217GIF that always shows the current time in UTC
42915124 months agocompleat/218Generate command-line completions using a simple DSL.
42721241 year, 4 months agokomposition/219The video editor built for screencasters
42637157 months agothinking-with-types/220๐Ÿ“– source material for Thinking with Types
4242772112 hours agopersistent/221Persistence interface for Haskell allowing multiple storage methods.
4235539a month agogeneric-lens/222Generically derive traversals, lenses, and prisms.
4191641 year, 4 months agopLam/223An interpreter for learning and exploring pure ฮป-calculus
41661454 years agoelm-reactor/224Interactive development tool that makes it easy to develop and debug Elm programs.
4151604010 days agohaskell/225Exercism exercises in Haskell.
414121372 months agobloodhound/226Haskell Elasticsearch client and query DSL
410103412 days agoproto-lens/227API for protocol buffers using modern Haskell language and library patterns.
4132461 year, 23 days agowebify/228webfont generator - converts ttf to woff, eot and svg
40876536 days agothreepenny-gui/229GUI framework that uses the web browser as a display.
41218201 year, 6 months agoxmonad-ubuntu-conf/230My xmonad config for Ubuntu versions from 20.04 all the way back to 12.04! Including package list, config files, and instructions.
4074451an hour agoemanote/231Spiritual successor to neuron, based on Ema.
40646417 months agoconcat/232Compiling to Categories
405281a month agoFunctional-Design-and-Architecture/233Code and materials for my book "Functional Design and Architecture"
40334642 years agographql-api/234Write type-safe GraphQL services in Haskell
4078121 year, 10 months agobrok/235Find broken links in text documents
40361742 days agohaskell-ci/236Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations
40642186 years agosubhask/237Type safe interface for working in subcategories of Hask
4001336 years agoCaramel/238A modern syntax for the ฮป-calculus.
3994604 years agogists/239With way too messy gist.github pages this is an attempt to organise my snippets
398291614 days agomonomer/240An easy to use, cross platform, GUI library for writing Haskell applications.
39683623 months agohaskell-chart/241A 2D charting library for haskell
39524214 days agoDontFearTheProfunctorOptics/242Don't Fear the Profunctor Optics!
3935832215 days agosaw-script/243The SAW scripting language.
39450112 months agoprotolude/244A sensible starting Prelude template.
38988766 months agohaskell-platform/245Distribution of Haskell with batteries included
38923103 years agomovie-monad/246:tv: A free and simple to use video player made with Haskell.
38880114 years agofp-course/247Fork of the original Data61 course to be more Stack friendly
38753503 years agorest/248Packages for defining APIs, running them, generating client code and documentation.
387112464 months agowebsockets/249A Haskell library for creating WebSocket-capable servers
3838337a month agoShelly.hs/250Haskell shell scripting
38381422 months agohs-tls/251TLS/SSL implementation in haskell
38320734a month agogithub/252The github API for Haskell
382504 days agoperidot/253A fast functional language based on two level type theory
37821321 hours agoelaboration-zoo/254Minimal implementations for dependent type checking and elaboration
3752272 months agocall-haskell-from-anything/255Call Haskell functions from any programming language via serialization and dynamic libraries
3734256 years agoLambdaNet/256Purely functional artificial neural network library implemented in Haskell.
37271151 year, 5 months agowreq/257None
37511432 years agoconstellation/258Peer-to-peer encrypted message exchange
37130232 years agoivory/259The Ivory EDSL
3682415a month agovaultenv/260Launch processes with Vault secrets in the environment
36726142 years agoHaskell-Morte-Library/261A bare-bones calculus-of-constructions
366231818 hours agocopilot/262A stream-based runtime-verification framework for generating hard real-time C code.
3647845 months agogloss/263Painless 2D vector graphics, animations and simulations.
36421129 days agomassiv/264Efficient Haskell Arrays featuring Parallel computation
36319195 years agohaskell-emacs/265Write Emacs extensions in Haskell
36227136 years agomarkup.rocks/266Pandoc based document editor and converter in your browser.
362104646 months agohmatrix/267Linear algebra and numerical computation
36226161 year, 8 months agoReduceron/268FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.
36159293 months agomorpheus-graphql/269Haskell GraphQL Api, Client and Tools
357692 years agoSon/270Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json
355194233a day agohackage-server/271Hackage-Server: A Haskell Package Repository
3531502 years agohnes/272:video_game: NES Emulator written in Haskell
353145534 days agotext/273Haskell library for space- and time-efficient operations over Unicode text.
35332295 months agofunflow/274Functional workflows
35226104 months agohakatime/275Wakatime server implementation & analytics dashboard
35233334 years agohaskell-do/276:pencil2: :bar_chart: - The Haskell code editor focused on interactive development.
3509188a day agoesqueleto/277New home of Esqueleto, please file issues so we can get things caught up!
3491612 months agotart/278Tart - draw ASCII art in the terminal with your mouse!
34725147 years agoreact-haskell/279React bindings for Haskell
34670164 months agoclay/280A CSS preprocessor as embedded Haskell.
3451737a day agooptics/281Optics as an abstract interface
3451973a month agohawk/282Haskell text processor for the command-line
3442149 years agoCloudHaskell/283A distributed computing framework for Haskell
34243716 days agoYampa/284Functional Reactive Programming domain-specific language for efficient hybrid systems
34013262a month agoreflex-dom/285Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pure functional interface.
3403917a month agoyst/286create static websites from YAML data and string templates
3401216013 days agovector/287An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
3411048 months agoverve-lang/288A functional language for the working hacker
33921121 year, 3 months agoEarley/289Parsing all context-free grammars using Earley's algorithm in Haskell.
3421101 year, 13 days agohaskus-system/290System programming in Haskell on top of Linux
337351314 days agoapecs/291a fast, extensible, type driven Haskell ECS framework for games
33665704 months agodoctest/292An implementation of Python's doctest for Haskell
3361133 years agomezzo/293A Haskell library for typesafe music composition
33256122 months agoad/294Automatic Differentiation
33143235 months agotermonad/295Terminal emulator configurable in Haskell.
3314325 years agodotfiles-tilingwm/296Tiling window manager related files (XMonad / i3) including configuration for components that create a good, minimal desktop-environment replacement.
32827283 months agosqueal/297Squeal, a deep embedding of SQL in Haskell
32797911 months agoconfiguration/298Like some files bro
326541913 days agomtl/299The Monad Transformer Library
32614153 years agoinfernu/300Type inference and checking for a safer JavaScript.
323116a month agonuri/301๋ˆ„๋ฆฌ : ํ•จ์ˆ˜ํ˜• ํ•œ๊ธ€ ํ”„๋กœ๊ทธ๋ž˜๋ฐ ์–ธ์–ด
323462012 days agomachines/302Networks of composable stream transducers
3217157 months agoptghci/303High-powered REPL for Haskell, inspired by IPython
31921413 days agojuvix/304An experimental programming language created by Heliax as a first step toward creating more robust and reliable alternatives for formally verified smart contracts than existing languages.
31779275 months agosnap-core/305Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.
3194229 years agoaima-haskell/306Algorithms from AIMA in Haskell
31838515 days agoreq/307An HTTP client library
31483312 days agosdl2/308Haskell bindings to the SDL2 library
3169659 months agoparconc-examples/309Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
310123110 months agoamulet/310An ML-like functional programming language
3107531 year, 21 days agomonad-challenges/311A set of challenges for jump starting your understanding of monads.
31086296 months agohedis/312A Redis client library for Haskell.
3084824a day agorecursion-schemes/313Generalized bananas, lenses and barbed wire
3082921a month agoincredible/314The Incredible Proof Machine
3071113 years agoquine-central/315A quine generator
30714109 months agoquickstrom/316High-confidence browser testing
30577416 hours agolsp/317Haskell library for the Microsoft Language Server Protocol
3081028 years agoberp/318An implementation of Python 3
30018103 months agomu-haskell/319Mu (ฮผ) is a purely functional framework for building micro services.
2971396628 days agocabal2nix/320Generate Nix build instructions from a Cabal file
29710127 years agodbignore/321.gitignore for Dropbox
2966217a day agoasync/322Run IO operations asynchronously and wait for their results
296965 years agoFuncShell/323Improve your shell by making it functional through Haskell! (An update to Awkward)
29331415 months agohakaru/324A probabilistic programming language
29131194 months agocsound-expression/325Haskell Framework for Electronic Music
2917244 months agonixfmt/326A formatter for Nix code
2901562 years agoExpresso/327A simple expressions language with polymorphic extensible row types.
290163182a month agocontainers/328Assorted concrete container types
2903692 years agoscalpel/329A high level web scraping library for Haskell.
2902452 months agopostgres-websockets/330PostgreSQL + Websockets
2882402 months agodth/331Examples of Dependently-typed programs in Haskell
2881037 months agoholmes/332A reference library for constraint-solving with propagators and CDCL.
2882693 years agoAngel/333Process Monitoring/Management, Like Daemontools
2883114 months agoslides/334Slides from talks that I give
2874974 months agoservant-persistent/335A brief example of Servant with Persistent
286118851 year, 4 months agopackage.elm-lang.org/336website for browsing packages and exploring documentation
28648123 months agotrifecta/337Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
28425301 year, 6 months agohusk-scheme/338A full implementation of the Scheme programming language for the Haskell Platform.
283368a month agosv2v/339SystemVerilog to Verilog conversion
2822293 years agothree-layer/340:three: :cake: Architecture of the Haskell web applications
282294611 hours agolinear-base/341Standard library for linear types in Haskell.
2816501 year, 10 months agopandoc-citeproc/342Library and executable for using citeproc with pandoc
281174282 months agonetwork/343Low-level networking interface
28171353 months agostatistics/344A fast, high quality library for computing with statistics in Haskell.
2804916a month agovty/345A high-level ncurses alternative written in Haskell
2799192a day agotamarin-prover/346Main source code repository of the Tamarin prover for security protocol verification.
27839674 months agoFrames/347Data frames for tabular data.
277703 years agovado/348A demo web browser engine written in Haskell
277808 years agoz/349A strict, impure, curried, partially applied programming language with rather peculiar syntax.
27786114 years agoHaskellKoans/350Haskell Koans for the Vancouver's Haskell UnMeetup
274332311 months agogi-gtk-declarative/351Declarative GTK+ programming in Haskell
27461299 days agoacid-state/352Add ACID guarantees to any serializable Haskell data structure
27324294 years agoru-haskell-book/353ัƒั‡ะตะฑะฝะธะบ ะฟะพ Haskell
273351312 days agomicrolens/354A lightweight (but compatible with โ€˜lensโ€™) lenses library
273293512 days agoprettyprinter/355A modern, extensible and well-documented prettyprinter.
2732162 years agofriday/356Fast image IO and transformations.
27226413 years agomagic-haskell/357้ญ”ๅŠ›haskellๅฎ˜ๆ–น็ฝ‘็ซ™
27098514 months agogogol/358A comprehensive Google Services SDK for Haskell.
2681805 years agolit/359A modern tool for literate programming
2672105 years agohaskell-course/360Introductory Haskell course materials (originally CIS 194 @ UPenn)
2662374 years agohue-dashboard/361A web interface for monitoring and controlling Philips Hue lights
2663724a day agosingletons/362Fake dependent types in Haskell using singletons
26546193 months agoinline-c/363None
26368151 year, 4 months agoHaskell/364None
263609 years agoSirea/365Simply Reactive! Declarative orchestration in Haskell using RDP
26118255 years agohaskell-tor/366A Haskell implementation of the Tor protocol.
2602017 months agohaskell/367A curated list of awesome things related to Haskell.
2591547 years agoHubris/368Bridge from Ruby to Haskell
257281410 months agohaskanoid/369A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.
2563632 months agolucid/370Clear to write, read and edit DSL for writing HTML
25523141 year, 4 months agohalive/371Live recompiler for Haskell
255170106a day agoplutus-apps/372The Plutus application platform
253712 years agoapi.unverified.email/373A service to help with testing of sending the right emails
25369653 months agoketer/374Web app deployment manager
25238265 months agoaws-lambda-haskell-runtime/375โšกHaskell runtime for AWS Lambda
25118513 years agohaskell-tools/376Developer tools for Haskell
2493021 year, 2 months agofull-fledged-hledger/377Tutorial on Hledger setup with multi-year files, multi-source imports and a range of auto-generated reports
24952393 months agoVinyl/378Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.
2481935 years agoatom/379A DSL for embedded hard realtime applications.
25473323 months agoalex/380A lexical analyser generator for Haskell
2461774920 days agohttp-client/381An HTTP client engine, intended as a base layer for more user-friendly packages.
24513822 months agoconfig-files/382A collection of my config files.
2451215712 days agobytestring/383An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
24727268 months agoohaskell.guide/384ะ’ะฐัˆะฐ ะฟะตั€ะฒะฐั ะบะฝะธะณะฐ ะพ ัะทั‹ะบะต Haskell
243908 years agotypo/385A programming language that runs in Haskell's type system.
243732 years agosilica/386optics for Haskell with the most amazing type errors you've seen
2428135 years agorecord/387Anonymous records
241467111 days agonixpkgs-update/388Updating nixpkgs packages since 2018
24141694 days agosmos/389A comprehensive self-management System
24120173 years agofrp-arduino/390Arduino programming without the hassle of C.
2452317 years agocheatsheet/391A Haskell CheatSheet in PDF and literate source formats.
24014615 days agoairship/392Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps.
2391810an hour agonvim-hs/393Neovim API for Haskell plugins as well as the plugin provider
238603417 days agohaskell-gi/394Generate Haskell bindings for GObject-Introspection capable libraries
23723a month agopurerl/395Erlang backend for the PureScript compiler
234423225 days agohint/396Runtime Haskell interpreter
23271563 months agohappy/397The Happy parser generator for Haskell
2321815 years agommaclone/398A simple Wolfram Language clone in Haskell
232602 years agosjsp/399Simple JavaScript Profiler
2313856 hours agoDSLsofMath/400Domain-Specific Languages of Mathematics
23128275 years agocombinatorrent/401A bittorrent client written in Haskell
23069635a day agoouroboros-network/402An implementation of the Ouroboros family of consensus algorithms, with its networking support
2301423 months agogotta-go-fast/403A command line utility for practicing typing and measuring your WPM and accuracy.
2301405 years agohbro/404[Unmaintained] A minimal web-browser written and configured in Haskell.
22946232 months agoco-log/405๐Ÿ““ Flexible and configurable modern #Haskell logging framework
22891a month agohascard/406flashcard TUI with markdown cards
2293601 year, 2 months ago1HaskellADay/407None
2282021 year, 11 months agoguanxi/408Relational programming in Haskell. Mostly developed on twitch.
228285010 days agoarbtt/409arbtt, the automatic rule-based time-tracker
22822201 year, 1 month agoquickspec/410Equational laws for free
227241 year, 9 days agoUwUpp/411The next generation esoteric language
2278323 days agofrank/412Frank compiler
226463 months agonix-tree/413Interactively browse dependency graphs of Nix derivations.
226452810 months agopsc-package/414A package manager for PureScript based on package sets
22621248 months agopp/415PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...
2261424 years agoowlcloud/416OwnCloud for owls done via The Microservice Architecture
22556125 days agoogmios/417โ‡๏ธ A WebSocket JSON/RPC bridge for Cardano
2251124629 days agoaws/418Amazon Web Services for Haskell
22419412 years agoAlgorithm-W-Step-By-Step/419Classic Algorithm W for type inference.
22421139 years agopronk/420A small command line application for load testing web servers. Think of it as similar to httperf or ab, only more modern and simpler to deal with.
22333142 years agohaskell-relational-record/421This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type.
22238335 months agotagsoup/422Haskell library for parsing and extracting information from (possibly malformed) HTML/XML documents
2211404 years agonstack/423Type-safe, composable microservices for data analytics
2248993 years agolets-lens/424Course material for lens
2215535a month agoJuicy.Pixels/425Haskell library to load & save pictures
221131210 months agoinline-java/426Haskell/Java interop via inline Java code in Haskell modules.
2211213a month agohal/427hal provides an AWS Lambda Custom Runtime environment for your Haskell applications.
220981106 days agounordered-containers/428Efficient hashing-based container types
22031256 years agotwidge/429Command-line twitter/identica client [Haskell]
2207144 years agoinline-rust/430Use snippets of Rust inline in your Haskell programs
22051510 months agofireward/431A concise and readable language for Firestore security rules, similar to Firebase Bolt.
2191211004 hours agocardano-db-sync/432A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
2182529 years agopar-tutorial/433A tutorial on Parallel and Concurrent Haskell
21826172 months agopretty-simple/434pretty-printer for Haskell data types that have a Show instance
2171234 months agolion/435Where Lions Roam: RISC-V on the VELDT
21545296 months agoblaze-html/436A blazingly fast HTML combinator library for Haskell.
214612 years agogivegif/437GIFs on the command line
21569544 years agoelm-package/438Command line tool to share Elm libraries
214102412 days agostack-templates/439Project templates for stack new
2164552 months agoruhaskell/440ะ“ะปะฐะฒะฝั‹ะน ัะฐะนั‚ ัะพะพะฑั‰ะตัั‚ะฒะฐ
21499a month agofregot/441Fugue Rego Toolkit
2121106 years agosummer-2015-haskell-class/442Summer 2015 Haskell Class
21210455a month agocassava/443A CSV parsing and encoding library optimized for ease of use and high performance
2113215 years agohaskelldocumentation/444Repository for collaborative Haskell documentation
21021167 months agoserverless-haskell/445Deploying Haskell applications to AWS Lambda with Serverless
21047104 days agodiscord-haskell/446Haskell library for writing Discord bots
20975802 years agopostgresql-simple/447Mid-level client library for accessing PostgreSQL from Haskell
2102303 years agoquine/448haskell, opengl, toy project
20851018 days agopurenix/449Nix backend for PureScript. Transpile PureScript code to Nix.
208591 year, 6 months agolawvere/450A categorical programming language with effects
2072294a month agoCarnap/451A formal logic framework that runs in the browser
207201a day agogwern.net/452Site infrastructure for gwern.net (CSS/JS/HS/images/icons). Custom Hakyll website with unique automatic link archiving, recursive tooltip popup UX, dark mode, and typography (sidenotes+dropcaps+admonitions+inflation-adjuster).
20738393 years agohadrian/453Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
20716144 years agoermine/454The Ermine Programming Language - Join us on irc.freenode.net #ermine
206828 months agosixty/455Dependent type checker using normalisation by evaluation
2052135 years agoantigen-hs/456A fast zsh plugin manager
20514147 months agofreer-simple/457A friendly effect system for Haskell
204734 years agothesis/458Richard A. Eisenberg's PhD Dissertation
204652815 days agogRPC-haskell/459Haskell gRPC support
203982 days agocapability/460Extensional capabilities and deriving combinators
203781207 hours agochainweb-node/461Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput
202120a month agoogma/462None
201562321 days agotexmath/463A Haskell library for converting LaTeX math to MathML.
2011974 years agohi/464Generate scaffold for a Haskell project
2062603 years agoglambda/465The home of the Glamorous Glambda interpreter
2024551 year, 6 months agoyesod-cookbook/466Cookbook documentation
1981533 years ago9m/4679m Unicode URL Shortener
1977363 months agohid-examples/468Examples to accompany the book "Haskell in Depth"
19743111 year, 5 months agoLol/469ฮ› โšฌ ฮป: Functional Lattice Cryptography
196694719 days agohaskeline/470A Haskell library for line input in command-line programs.
19720281 year, 3 months agoquickcheck-state-machine/471Test monadic programs using state machine based models
19530119 days agoHaskell-Optparse-Generic-Library/472Auto-generate a command-line parser for your datatype
19924225 months agohaskell-phrasebook/473The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
19482304 months agosnap-server/474A fast HTTP server library, which runs Snap web handlers.
19469192 years agohaskell-telegram-api/475Telegram Bot API for Haskell
19456163 years agoEuterpea2/476Euterpea version 2
1941572 years agolhc/477The LLVM LHC Haskell Optimization System
19314224 months agomusic-suite/478Music in Haskell
19544203 years agoQuickFuzz/479An experimental grammar fuzzer in Haskell using QuickCheck
1911404 years agolambdacube-edsl/480Previous version of LambdaCube 3D as Embedded Domain Specific Language in Haskell. Check the latest system:
1901706 months agodino-rush/481๐ŸŒ‹ Endless runner game
190881042 years agohaskell-src-exts/482Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
1901415 years agoidris-erlang/483Erlang Backend for Idris Compiler
189907 months agoflow/484:droplet: Write more understandable Haskell.
1882923 years agohaskell-scotty-realworld-example-app/485Exemplary real world backend API built with Haskell/Scotty https://realworld.io
1905106 years agoHerbiePlugin/486GHC plugin that improves Haskell code's numerical stability
190503 years agodynamic/487Dynamic typing in Haskell
18737917 days agomonocle/488Monocle helps teams and individual to better organize daily duties and to detect anomalies in the way changes are produced and reviewed.
18744229 days agoHaTeX/489The Haskell LaTeX library.
18727112 years agoc-repl/490a C read-eval-print loop (abandoned)
185326 months agomorloc/491A typed, polyglot, functional language
1841542 years agoHaskell-Typed-Spreadsheet-Library/492Typed and composable spreadsheets
184305213 hours agofourmolu/493A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
1841013 years agofoldilocks/494Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.
18339231 year, 4 months agoherms/495:stew::fork_and_knife: A command-line manager for delicious kitchen recipes
183631 year, 10 months agocmt/496Write consistent git commit messages based on a custom template
18340106 years agoPortFusion/497Haskell-powered cross-platform transport-layer distributed reverse / forward proxy & tunneling solution โ€“ currently available for all TCP protocols (RDP, VNC, HTTP(S), SSH, ...).
18215274 months agoAllure/498Allure of the Stars is a near-future Sci-Fi roguelike and tactical squad combat game written in Haskell; please offer feedback, e.g., after trying out the web frontend version at
1821512 years agopie-hs/499An implementation of Pie in Haskell
182608 months agoPomPom-Language/500The cuteness implementation of a dependently typed language.
1823628 days agogeordi/501IRC C++ eval bot
18162153 months agokatip/502A structured logging framework for Haskell
18145694 months agoc2hs/503c2hs is a pre-processor for Haskell FFI bindings to C libraries
184724 months agomuesli/504An alternative approach to food
181502 years agoduet/505A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
1812408 years agolex-pass/506manipulate a php codebase using haskell to transform the abstract-syntax-tree
18048244 days agolinear/507Low-dimensional linear algebra primitives for Haskell.
18015285 years agolearn-you-a-haskell-exercises/508None
1801522 days agoeffectful/509An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
18015172 days agodejafu/510Systematic concurrency testing meets Haskell.
17947139 years agoscion/511OLD, DEPRECATED: Use this instead https://github.com/haskell/haskell-ide-engine
1781334 years agoandroid-lint-summary/512Prettier display of Android Lint issues
1781074 months agokeera-hails/513Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications
177256a month agosbv/514SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
17742231a day agohaskell-backend/515The symbolic execution engine powering the K Framework
17646294 years agoelm-make/516A build tool for Elm projects
17665410 months agolobster-challenge/517Simple Plutus contract to help give Charles' stuffed lobster a name
17651436 years agoesqueleto/518Bare bones, type-safe EDSL for SQL queries on persistent backends.
1756282 months agopicard/519PICARD - Parsing Incrementally for Constrained Auto-Regressive Decoding from Language Models. PICARD is a ServiceNow Research project that was started at Element AI.
17418188 months agofloskell/520Floskell is a flexible Haskell source code pretty printer.
17444263 years agohdevtools/521REPO UNMAINTAINED!!! Try this: https://github.com/hdevtools/hdevtools/
1741213 years agoauto/522Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto
1731705 years agounit-test-example/523Unit test example for Haskell
17411013 days agoalfred-margaret/524Fast Aho-Corasick string searching
17567373 years agohs-webdriver/525A Haskell client for the Selenium WebDriver protocol.
173922 years agotinyjit/526Haskell JIT
1742341 year, 10 months agoextensible-effects/527Extensible Effects: An Alternative to Monad Transformers
17332554 years agoelm-repl/528A REPL for Elm
17343234 months agogroundhog/529This library maps datatypes to a relational model, in a way similar to what ORM libraries do in OOP. See the tutorial https://www.schoolofhaskell.com/user/lykahb/groundhog for introduction
17220253 years agolegacy-old-hercules/530Abandoned
17214133 months agoimplicit-hie/531Auto generate a stack or cabal multi component hie.yaml file
17211104 months agonix-diff/532Explain why two Nix derivations differ
1711313 years agocellularAutomata/533a collection of cellular automata written in Haskell with Diagrams
171998022 hours agocardano-ledger/534The ledger implementation and specifications of the Cardano blockchain.
17135162 years agocodex/535A ctags file generator for cabal/stack project dependencies.
1738141 year, 8 months agoHaskellSpriteKit/536Haskell binding to Apple's SpriteKit framework
170407 years agogifstream/537Make interactive games in Haskell using GIF streams that can be shown in the web browser
1701815 months agoslick/538Static site generator built on Shake configured in Haskell
170841172 months agogtk2hs/539GUI library for Haskell based on GTK+
1731023 years agoghc-hotswap/540Example code for how we swap compiled code within a running Haskell process.
169611811 days agoHTTP/541Haskell HTTP package
169591125 days agohs-web3/542Web3 API for Haskell.
169261a day agorefined/543Refinement types with static checking
1672462 months agoinspection-testing/544Inspection Testing for Haskell
168561917 days agogitlib/545None
1681086 months agospectacle/546Embedded specification language & model checker in Haskell
171511 year, 5 months agocodec-beam/547Generate Erlang VM byte code from Haskell
1711913 years agoddc/548The Disco Discus Compiler
16847302 years agofgl/549A Functional Graph Library for Haskell
1671781 year, 9 months agobackprop/550Heterogeneous automatic differentiation ("backpropagation") in Haskell
1671209 months agoblackstar/551A black hole raytracer written in Haskell
17117459 months agoff/552A distributed note taker and task manager.
1673006 years agopearls/553Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
16612136 months agodiagrams/554Embedded domain-specific language for declarative vector graphics (wrapper package)
166194014 days agomacaw/555Open source binary analysis tools.
166811 year, 3 months agoquad-ci/556A CI server written in Simple Haskell.
1662565 years agographql-haskell/557Haskell GraphQL implementation
1651023 years agodhc/558Compiles Haskell to WebAssembly
1671834 months agohiggledy/559Higher-kinded data via generics
1641415 years agoidris-php/560Yes, really...
1672163 years agocompiler/561The compiler for Keli
16475201 year, 1 month agostripe/562:moneybag: Stripe API
163744727 days agocborg/563Binary serialisation in the CBOR format
1623641 year, 5 months agoAoPL/564A book on programming languages, using Haskell
162738a month agoaxel/565Haskell + Lisp
16227914 days agographmod/566A utility for displaying the module dependencies of Haskell programs.
161743 years agozero-to-quake-3/567Implementing Quake 3 in Haskell & Vulkan
163213 years agoproofsweeper/568Play Minesweeper by formally proving your moves in Idris
1601627 years agoHaskellStarter/569A project that demonstrates getting up and running with Haskell.
16074459 months agoservant-auth/570None
1621311 year, 5 months agohask/571Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
161914 years agoshentong/572A Haskell implementation of the Shen programming language.
15917111 year, 13 days agostyx/573A nix-based Haskell project manager
15969409 months agolambdabot/574A friendly IRC bot and apprentice coder, written in Haskell.
159127 months agofinkel/575Haskell in S-expression
15854733 months agopursuit/576Website for hosting and searching PureScript API documentation
162211011 months agopdf-toolbox/577A collection of tools for processing PDF files in Haskell
15717628 days agostratosphere/578Haskell EDSL and type-checker for AWS CloudFormation templates
157781 year, 1 month agounfog/579โฑ Minimalist CLI task & time manager, written in Haskell.
161931 year, 8 months agodeli/580None
1574124a month agomongodb/581MongoDB driver for Haskell
158415 years agohigher-order-unification/582A small implementation of higher-order unification
1565121 year, 15 days agohaskell-exercises/583Haskell exercises with automatic tests
1577103 years agohaskell-game-programming/584A central repository of Haskell Game Programming resources, put together by Keera Studios
156609 days agodiagnose/585A simple library for reporting compiler/interpreter errors
156866 months agogit-mediate/586Become a conflict resolution hero
15646161 year, 4 months agoservant-elm/587Automatically derive Elm functions to query servant webservices
159504 years agoditto/588A Super Kawaii Dependently Typed Programming Language
1551634 months agoelsa/589Elsa is a lambda calculus evaluator
1555118 months agotwitter-conduit/590Twitter API package for Haskell, including enumerator interfaces and Streaming API supports.
15510421 year, 5 months agoHydra/591Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support. It's currently moving to the production-ready state
155682 years agonixos-manager/592Manage your NixOS packages and configuration via a simple, intuitive UI
154110a month agoregistry/593Components as records of functions for Haskell
1541331 year, 4 months agocoda/594A language experiment -- irc.freenode.net ##coda
16113202 months agoklfc/595Keyboard Layout Files Creator
154921 year, 2 months agoscarf/596An environment manager and development tool powered by Nomia.
153283127 days agouniversum/597:milky_way: Prelude written in @Serokell
153503 years agoelm-beam/598Exploring Elm on the Erlang VM
153134a month agoTypedFlow/599Typed frontend to TensorFlow and higher-order deep learning
1521983 years agogrpc-haskell/600gRPC library binding for Haskell.
153602 years agotiny-optimising-compiler/601A tiny optimising compiler for an imperative programming language written in haskell
1527158 days agonix-output-monitor/602Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
151158a month agozephyr/603Tree shaking breeze for PureScript CoreFn AST
15147242 years agolanguage-javascript/604Parser for JavaScript, in Haskell
15125477 years agocabal-dev/605A wrapper program around cabal and cabal-install that maintains sandboxed build environments.
1512503 years agohaskell-yesod-realworld-example-app/606Exemplary real world application built with Haskell + Yesod
15057466 days agohie-bios/607Set up a GHC API session for various Haskell Projects
149275a month agovalidity/608Validity and validity-based testing
14952a month agopandoc-plot/609Render and include figures in Pandoc documents using your plotting toolkit of choice
149838 years agoshade/610Interactive, client-side web apps in Haskell
1493831a day agogenerics-sop/611Generic Programming using True Sums of Products
14941192 months agohaskell-opencv/612Haskell binding to OpenCV-3.x
14812111 days agoPolysemyCleanArchitecture/613Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.
148924 years agocaledon/614higher order dependently typed logic programing
14864166 months agologger/615A fast logging system for Haskell
1482821 year, 8 months agoengine.io/616A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols
1481044 years agoComonadSheet/617A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads.
1481118a day agoghc-lib/618The GHC API, decoupled from GHC versions
1575132 years agoblip/619A bytecode compiler for Python 3
14721115 months agojson-autotype/620Automatic Haskell type inference from JSON input
14731323 months agoThreadScope/621A graphical tool for profiling parallel Haskell programs
1464540a day agohydra-poc/622Proof of concept for the Hydra Head protocol :construction_worker:
14625193 days agodunai/623Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
14628192 years agoGPipe-Core/624Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library
145541711 days agoskylighting/625A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions
14567472 years agodigestive-functors/626A general way to consume input using applicative functors
14617305 years agolanguage-c-inline/627Inline C & Objective-C in Haskell
14416191 year, 1 month agonix-linter/628Linter for the Nix expression language
14413156 months agocurl-runnings/629A declarative test framework for quickly and easily writing integration tests against JSON API's.
1442473 days agoenvy/630:angry: Environmentally friendly environment variables
143431 year, 6 months agoizuna/631Show Haskell type annotations when doing code review on Github
1431524 years agoredo/632djb's redo implementation in Haskell (for Haskell from Scratch video series)
14712412 years agocql/633CQL: Categorical Query Language implementation in Haskell
14337124 months agoaccelerate-llvm/634LLVM backend for Accelerate
14313221 days agoAwesome-list-of-Haskell-mentors/635An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
143103610 months agoJikka/636an automated solver for problems of competitive programming
143405 years agorei/637Process lists easily
1431217 years agoCopilot/638A (Haskell DSL) stream language for generating hard real-time C code.
1442232 years agogressgraph/639visualize your iptables firewall
143613 years agoghc-proofs/640Let GHC prove program equations for you
1431415 years agohulk/641Haskell IRC daemon.
142613 months agoholbert/642A graphical interactive proof assistant designed for education
1426145a month agofree/643free monads
14219534 years agodyna/644Dyna2 compiler and REPL
1424916a month agofoldl/645Composable, streaming, and efficient left folds
142246a month agofakedata/646Haskell Library for producing quality fake data
14123620 days agorestyled.io/647Restyled.io
141432 years agocherchord/648๐ŸŽธ Find chords for any string instrument quicky & easily ๐ŸŽธ
141429 years agovisi/649The Visi Language and iPad IDE
140273317 days agostreaming/650An optimized general monad transformer for streaming applications, with a simple prelude of functions
1401417 years agochips/651A clone of Chips Challenge in Haskell
1402076 years agozeromq-haskell/652This repository has been moved to https://gitlab.com/twittner/zeromq-haskell
1401421 year, 5 months agotransient-universe/653A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web browsers are first class nodes in the cloud
1412096 years agolambda-ccc/654Convert lambda expressions to CCC combinators
13937213 months agounliftio/655The MonadUnliftIO typeclass for unlifting monads to IO
13927231 year, 8 months agoOpenGL/656Haskell bindings to OpenGL
1421246 years agoregex-genex/657Given a list of regexes, generate all possible strings that matches all of them.
13815334 months agoTaskLite/658The CLI task manager for power users
138281414 days agoirc-core/659Haskell IRC library and console client - Join us on libera.chat #glirc
1381216 years agoaws-lambda-haskell/660Running Haskell code on AWS Lambda
1372172 years agopropagators/661The Art of the Propagator. See also:
136714 years agoredish/662A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell.
137917 years agoBigPixel/663Pixel art for games
1371032 months agonix-deploy/664Deploy software or an entire NixOS system configuration to another NixOS system
1392141 year, 2 months agohaskellers/665haskellers.com site
1362111 year, 2 months agohode/666rslt, take five-ish
1362241 year, 3 months agohaskellcosm/667Collecting information about Haskell ecosystem - companies, communities, media, etc.
1362181 year, 5 months agoted2srt/668Download bilingual subtitles of TED talks
13656263 months agomono-traversable/669Type classes for mapping, folding, and traversing monomorphic containers
13619171 year, 10 months agoconcur-replica/670Server-side VDOM UI framework for Concur
1354068 years agocritbit/671A Haskell implementation of crit-bit trees.
13530265 years agoHaRe/672The Haskell Refactoring Tool
13511512 days agotoysolver/673My sandbox for experimenting with solver algorithms.
1351306 years agohaskeleton/674:skull: A Haskell package skeleton.
13516010 months agoexample-servant-elm/675Example for a web app with a servant backend and an elm frontend
140902 years agolearn-physics/676A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory.
13616141 year, 3 months agonumerical/677Numerical is the core library for Numerical Haskell
13412422 months agohoodle/678hoodle : A pen notetaking program written in haskell
13528453 years agoajhc/679A fork of jhc. And also a Haskell compiler.
134774 months agocake-slayer/680๐Ÿฐ๐Ÿ”ช Architecture of Haskell backend applications
1341007 years agocubical/681Implementation of Univalence in Cubical Sets
13424348 days agongless/682NGLess: NGS with less work
133391814 days agoarithmoi/683Number theory: primes, arithmetic functions, modular computations, special sequences
13422165 months agozoomhub/684Share and view high-resolution images effortlessly
1331032 years agocradle/685Let's Build a Compiler (in Haskell)
13343177 months agohw-kafka-client/686Kafka client for Haskell, including auto-rebalancing consumers
133184411 days agopurebred/687A terminal based mail user agent based on notmuch
133904 years agofugacious/688An example Haskell web application
13220342 years agomafia/689Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.
13211134 years agoidris-cil/690A Common Intermediate Language backend for Idris 1
13218522 months agodisco/691Functional teaching language for use in a discrete mathematics course
13217217 months agovimus/692An MPD client with vim-like key bindings, written in Haskell
1321094 years agotyped-wire/693Language independent type-safe communication
13311010 months agotal/694An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
1311594 years agobake/695UNMAINTAINED: Continuous integration server
1311491 year, 3 months agoRasterific/696A drawing engine in Haskell
1321012 years agohamilton/697Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.
13122205 months agoapply-refact/698Refactor Haskell source files
13159556 months agodiagrams-lib/699Diagrams standard library
13140316 years agollvm-general/700Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)
1321404 years agoawesome-open-science/701some links to projects/tools related to "open science".
1311164 years agoa-tour-of-go-in-haskell/702Write "Concurrency" section of "A Tour of Go" in Haskell
128562 years agoplate/703Principled schema system for JSON. Work in progress.
1307322a month agoshakespeare/704Haml-like template files that are compile-time checked
1331135 years agoswift-haskell-tutorial/705Integrating Haskell with Swift Mac Apps
1302132 months agorattletrap/706:car: Parse and generate Rocket League replays.
130801 year, 1 month agohierarchical-free-monads-the-most-developed-approach-in-haskell/707Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell
130181011 months agosafe-money/708Haskell library for type-safe and lossless encoding and manipulation of world currencies and precious metals
1305164 years agoidris-vimscript/709Compile Idris to Vimscript, like you always wanted.
13022241 year, 9 months agohsdev/710Haskell development tool
13020204 years agouhc/711None
130102928 days agowhat4/712Symbolic formula representation and solver interaction library
12916502 months agoexercises/713๐Ÿ’ป Exercises for the Haskell Beginners 2022 course
12912510 years agohaskelllive/714Source code of the Haskell Live episodes.
1291119 months agocompiler/715The adventures of a Haskell compiler
12880192 years agomsgpack-haskell/716Haskell implementation of MessagePack / msgpack.org[Haskell]
1281972 days agomighttpd2/717File/CGI web server on Warp
128931 year, 4 days agowc/718Beating unix wc in Haskell
1289710 months agoinline-js/719Call JavaScript from Haskell, and vice versa!
1284502 months agofreenode-exodus/720Projects and channels that have decided to leave Freenode. (Final leave count: 1056)
1271757 days agodiscrimination/721Fast linear time sorting and discrimination for a large class of data types
12712147 days agosimplexmq/722โš™๏ธ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
127459 months agoghc-grin/723GRIN backend for GHC
1271213 years agosmudge/724A domain-specific language for state machines.
1271434 years agomicro-ci/725A tiny CI server built around GitHub and Nix
1277361 year, 4 months agofragnix/726Fragment-based code distribution!
12718322 days agopointfree/727Maintenance of the pointfree Hackage package.
129523 years agomaster-plan/728Project Management for Hackers
127021 year, 3 months agoshortcut-highlighter/729set of tools and services for highlighting shortcuts from applications and system with RGB keyboard
1261244 years agoidris-py/730Python backend for Idris (generates Python source, not bytecode).
126312 years agoKei/731A small and expressive dependently typed language
1261222 months agohaskell-dangerous-functions/732Documentation about Haskell's dangerous functions and a hlint config file to warn about them
12622323 months agoact/733Smart contract specification language
12614213 days agosmallcheck/734Test your Haskell code by exhaustively checking its properties
1291833 months agosafe-exceptions/735Safe, consistent, and easy exception handling
126171410 months agogodot-haskell/736Haskell bindings for GdNative
1261858 months agohaskell-wasm/737Haskell WebAssembly Toolkit
12617911 months agohaskellings/738An automated tutorial to teach you about Haskell!
12727228 years agoconfigurator/739A Haskell library supporting flexible, dynamic file-based configuration.
12616273 months agoweeder/740A re-implementation of weeder using HIE files
12519146 years agoHandsomeSoup/741Easy HTML parsing for Haskell
1251514 years agohaskell-sdl2-examples/742SDL2 tutorial code in Haskell
126131111 months agohfmt/743Format Haskell programs. Inspired by the gofmt utility.
1251106 years agodatagraph/744None
124222018 days agoestuary/745Platform for collaboration and learning through live coding
124802 years agoCompositional_Deep_Learning/746Deep learning via category theory and functional programming
124112 years agocalico/747cat, but for colors ๐Ÿ˜ผ
1243025 months agorepa/748High performance, regular, shape polymorphic parallel arrays.
1243317a month agohfsnotify/749Unified Haskell interface for basic file system notifications
1238102 years agoweeder/750Detect dead exports or package imports
1235983 months agoglot-www/751glot.io website
1231072 months agonix-package-versions/752Search for old versions of Nix packages
123808 years agoBotworld/753A cellular automaton for studying self-modifying agents which are embedded in their environment
12330198 years agohsenv/754Virtual Haskell Environment builder
123192a month agoreflex-vty/755Build terminal applications using functional reactive programming (FRP) with Reflex FRP.
1261103 years agoquantfin/756quant finance in pure haskell
12316159 months agohledger-flow/757An hledger/ledger-cli workflow focusing on automated statement import and classification
123407 years agorust-haskell-ffi/758Toy example of calling Rust from Haskell
12317111 year, 2 months agopandoc-include-code/759A Pandoc filter for including code from source files
123622 years agoPaskell/760A Pascal to LLVM compiler in Haskell
12231334 months agomonad-par/761None
123111 year, 10 months agolens-regex-pcre/762Text lenses using PCRE regexes
12218466 years agoide-backend/763ide-backend drives the GHC API to build, query, and run your code
1221304 years agoHaskell-OpenGL-Tutorial/764an attempt to create a concise modern Haskell OpenGL boilerplate with basic IO
12239229 months agoservant-swagger/765Swagger for Servant
1236012 years agoLemmachine/766REST'ful web framework in Agda
121711 year, 1 month agolorem-markdownum/767A lorem ipsum generator for markdown
1211015 months agosprite-lang/768An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
1211565 years agokontiki/769An implementation of the Raft consensus protocol
121923 years agovoid-space/770Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
12112392 months agofficxx/771Haskell-C++ Foreign Function Interface Generator
12123217 hours agohsthrift/772The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift project for the implementation of the underlying transport.
1223596 months agoamqp/773Haskell AMQP client library
1201113 years agorecursion-drill/774Drill to study recursive programming in Haskell
120841 year, 9 months agomagicbane/775A web framework that integrates Servant, EKG, fast-logger, wai-cliโ€ฆ
1201702 years agohaskell-music/776Source Code from "Making Music with Haskell" video
121168a month agorecord-dot-preprocessor/777A preprocessor for a Haskell record syntax using dot
1205243 months agojaspervdj/778Source code of my personal home page.
1201471 year, 9 months agoneural/779Neural Nets in native Haskell
12044102 days agohoauth2/780Haskell oauth2 binding
12023236 months agodh-core/781Functional data science
120504 years agonn/782A tiny neural network ๐Ÿง 
1203122 days agoghc-justdoit/783A magic typeclass that just does it
11951182 days agoxlsx/784Simple and incomplete Excel file parser/writer
119421 year, 2 months agotype-of-html/785High performance type safe html generation
1192652 years agohaskell-json/786Source Code for JSON Parser Video
119571 year, 11 months agonotion-ocr/787Adding OCR support to Notion
11932155 months agohashtables/788Mutable hash tables for Haskell, in the ST monad
11914104 months agoriscv-semantics/789A formal semantics of the RISC-V ISA in Haskell
12111108 months agoregex-applicative/790Regex-based parsing with an applicative interface
1251391 year, 3 months agoreplica/791A remote virtual DOM library for Haskell
117577 years agomote/792None
118772 months agopowerline-hs/793A lightning fast reimplementation of the Powerline prompt generator in Haskell.
118813 years agogetting-started-with-haskell/794notes on where to find Haskell tutorials and tips to complete them
118922 years agoSitePipe/795Yet another static site generator - non-opinionated, value-level. Less magic == easier to understand
11837117 hours agohaskellweekly/796Publishes curated news about the Haskell programming language.
12115184 months agosteeloverseer/797A file watcher and development tool.
11828393 years agonirum/798Nirum: IDL compiler and RPC/distributed object framework for microservices
1191822 years agofrag/799Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong
1171208 years ago1HAD/8001 Haskell A Day exercises
117414a day agooctopod/801Kubernetes self-service portal
11743297 months agopath/802Typed filepath
117729 years agowisp/803small-but-featureful embeddable lisp interpreter written in haskell.
117538 days agoicepeak/804Icepeak is a fast JSON document store with push notification support.
122220a month agokalyn/805โš—๏ธ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
11549185 years agoelm-export/806Create Elm types and JSON decoders from Haskell source.
116507 years agotype-inference/807Unification and type inference algorithms
1164555 days agocompiler/808None
1171622 months agoextensible/809Extensible records, variants, structs, effects, tangles
11633211 year, 5 months agohxt/810Haskell XML Toolbox
12031249 months agohasktags/811Produces ctags "tags" and etags "TAGS" files for Haskell programs
11822172 years agohatrace/812scriptable strace
1161206 years agoNeks/813A dead simple networked key/value store
11524233 years agoopen/814DiffusionKinetics open-source monorepo
116856 years agoelerea/815A simple FRP library providing leak-free first-class streams.
1153882 months agohs-jose/816Haskell JOSE and JWT library
11512121 year, 3 months agorib/817Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)
1151112 years agoweb-haskell-graphql-postgres-boilerplate/818Modern webserver in Haskell: Graphql + Postgresql + Authentication + DB migration + Dotenv and more
1151144 days agocxxdraft-htmlgen/819Generates http://eel.is/c++draft
11411131 year, 10 months agoslownews/820๐Ÿข Bringing slow news for the nervous among us
1151011 year, 11 months agoBidirectional/821Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
11930206 months agohdbc/822Haskell Database Connectivity
11715158 months agounagi-chan/823A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API
1192091 year, 5 months agoghc-vis/824Visualize live Haskell data structures in GHCi
11727294 months agovulkan/825Haskell bindings for Vulkan
1147282 months agotime/826A time library
1151464 months agodjinn/827Generate Haskell code from a type
1138403 years agopier/828Yet another Haskell build system.
11328232 days agorel8/829Hey! Hey! Can u rel8?
11322911 months agodocopt.hs/830A command-line interface description language and parser that will make you smile
1141008 years agohaskell-amuse-bouche/831A short technical talk about some fun things in Haskell
113814a month agoAlonzo-testnet/832repository for the Alonzo testnet
11311514 months agomulang/833:bamboo: Universal, Multi Language, Multi Paradigm code analyzer
1131624 years agoHaNS/834The haskell network stack
11524131 year, 8 months agomysql-haskell/835Pure haskell mysql driver
1122983 months agobound/836Combinators for manipulating locally-nameless generalized de Bruijn terms
112429 days agoHypatia/837A ML-family Language Compiled to Lua
1123074 years agogame-in-haskell/838None
11240356 months agosqlite-simple/839Mid-level bindings for sqlite
1111211 year, 6 months agobasilica/840It's kinda like a forum.
110535 years agoSimpleFP-v2/841A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
1111305 years agohnn/842haskell neural network library
1111631 year, 1 month agopandoc-sidenote/843Convert Pandoc Markdown-style footnotes into sidenotes
11261187 years agopool/844A high-performance striped resource pooling implementation for Haskell
111664 years agoherbalizer/845Convert HAML to ERB
11140269 days agothese/846An either-or-both data type, with corresponding hybrid error/writer monad transformer.
1101155 years agodominion/847A Dominion simulator in Haskell
1102530a day agocommonmark-hs/848Pure Haskell commonmark parsing library, designed to be flexible and extensible
110332 years agohinc/849Haskell In New Clothes
1131644 months agomarkdown-unlit/850Literate Haskell support for Markdown
11257334 months agojsaddle/851JavaScript interface that works with GHCJS or GHC
11013287 months agocamfort/852Light-weight verification and transformation tools for Fortran
1115125 years agoluminance/853Type-safe, type-level and stateless Haskell graphics framework
10910295 years agoling/854LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
1081206 years agominghc/855DEPRECATED: Windows installer for GHC including msys
1101429 years agoandroid-haskell-activity/856An example of an Android Activity written in Haskell
1099106 months agofeedforward/857None
10915186 years agoblaze-react/858A blaze-html style ReactJS binding for Haskell using GHCJS
1094522 years agoreflex-dom-inbits/859A tutorial for reflex-dom with small code bits
1095192 years agodistributed-dataset/860A distributed data processing framework in Haskell.
111873 years agowebviewhs/861๐ŸŒ A Haskell binding to the webview library created by Serge Zaitsev.
109801 year, 9 months agopcf/862A small compiler for PCF
1095157 months agohaskell/863Haskell client for the kubernetes API. A work in progress.
1081506 years agotangaroa/864A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.
10916141 year, 9 months agohip/865Haskell Image Processing Library
1071182 years agoguide/866A workspace for research teams
107221 year, 6 months agojsn/867An absolutely simple & terse CLI app to manipulate JSON data
1071233 years agoKulitta/868A Haskell-based library for algorithmic and automated composition. This library was the subject of my dissertation at Yale university and is the subject of my ongoing work.
109161961 year, 10 months agoHyperNerd/869Total Surveillance Automatic Ban Machine for Twitch and Discord
110874 years agooczor/870Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
1081224 years agohadron/871Construct and run Hadoop MapReduce programs in Haskell
1069194 years agoimportify/872:space_invader: Importi.fy โ€” it's like Uber, but for Haskell modules.
10720104 years agoeventful/873Event Sourcing library for Haskell
106319 months agoswitch/874A library for interacting with Nintendo Switch controllers, written in Haskell.
1061007 months agorfc/875My slides and compilation of resources.
10534262 years agollvm/876Haskell bindings to the LLVM compiler infrastructure project.
105551 year, 8 months agontfd/877A lightweight notification daemon for fancy desktop integrations
10512611 months agorow-types/878A Haskell library for open records and variants using closed type families and type literals
10535292 months agohgeometry/879HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms. The main two focusses are: (1) Strong type safety, and (2) implementations of geometric algorithms and data structures that have good asymptotic running time guarantees.
10725810 months agohssqlppp/880sql parser and type checker in haskell
10529187 days agocardano-addresses/881Addresses and mnemonic manipulation & derivations
1052640a month agostackage-server/882Server for stable, curated Haskell package sets
10511235 years agostreaming/883An optimized general monad transformer for streaming applications, with a simple prelude of functions
10535372 months agotomland/884๐Ÿ Bidirectional TOML serialization
10421223 years agoMagic/885Haskell implementation of Magic: The Gathering
105721 year, 10 months agoeve/886An extensible event-driven application framework in haskell
1051204 years agomtl-style-example/887A small example of using mtl style to unit test effectful code
104349a month agoretry/888Retry combinators for monadic actions that may fail
104107 years agooHm/889Om with Haskell in it
104101 year, 5 months agosquee/890A Typed, Composable Database Query Language
1162995 months agoxeno/891Fast Haskell XML parser
109914 years agoifcxt/892constraint level if statements
10521255 months agohaskell-lockfree/893A collection of different packages for CAS based data structures.
104571 year, 9 months agostdio/894Haskell Standard Input and Output
1143103 months agodovetail/895A PureScript interpreter in Haskell
103106 months agothank-you-stars/896Give your dependencies stars on GitHub! ๐ŸŒŸ
105719 months agoderiving-aeson/897Scrap your hand-rolled aeson instances
1041581 year, 1 month agogonimo/898gonimo application back & front
10269a month agohasql-th/899Template Haskell utilities for Hasql
102865 years agohopper-v0/900a sound modern language for computation and transactional resource logic
102284621 days agostore/901Fast binary serialization in Haskell
102501 year, 10 months agoascii-runner/902An infinite runner in your terminal
102553 months agohocker/903Utilities for interacting with the docker registry and generating nix build instructions
103899 months agovgrep/904A pager for grep
101876 days agotheHarmonicAlgorithm/905The Harmonic Algorithm by Oscar South - A Project Spanning Music Analysis, Functional Programming & Machine Learning
10140118 months agopurescript-bridge/906Create PureScript datatypes from Haskell datatypes
10218125 years agoroshask/907Haskell client library for the ROS robotics framework.
1012635 years agocis194-solutions/908Solutions for CIS 194 - Spring 2013
101435 years agoexference/909Haskell tool to generate expressions from types
1012924a month agominter-sdk/910A set of tools and libraries to bring creation, management, and sales of NFTs to any application.
1032101 year, 8 months agolambdapi/911Dependently Typed Lambda Calculus in Haskell
100413115 days agoliquid-fixpoint/912Horn Clause Constraint Solving for Liquid Types
100821 year, 1 month agostreaming-benchmarks/913Benchmarks to compare Haskell streaming library performance
1001975 days agohslua/914Haskell bindings to Lua, an embeddable scripting language.
11130144 months agohaskell-tree-sitter/915Haskell bindings for tree-sitter
99215 years agohigher-rank/916A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
101933 months agoclckwrks/917A Haskell CMS platform
99501 year, 6 months agohaskell-in-haskell/918Trying to write an understandable implementation of Haskell, in Haskell
100778 months agox86-64/919Runtime code generation for x86 64 bit machine code
9920411 year, 11 months agohdevtools/920Persistent GHC-powered background server for FAST haskell development tools
992292 months agoreflection/921Reifies arbitrary Haskell terms into types that can be reflected back into terms
99495521 days agoprimitive/922This package provides various primitive memory-related operations.
10020306 years agoApexCtl/923An utility to enable extra macro keys on Steelseries Apex keyboards
99433 months agotardis/924None
99321 year, 10 months agospaceleak/925Notes on space leaks
99702 months agogithub-release/926:octocat: Upload files to GitHub releases.
98482 days agoseonbi/927SmartyPants for Korean language
98148a month agohapistrano/928Deploy tool for Haskell applications, like Capistrano for Rails
991017 months agoeffects/929A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
1001132 years agomcc/930MicroC example compiler for Stephen Edward's PLT class, but in Haskell
9862555 days agobinary/931Efficient, pure binary serialisation using ByteStrings in Haskell.
99406 years agocrisp-compiler/932A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
98804 years agohaskell_game/933Wolfenstein 3D, ray-casting FPS game I make to learn Haskell. No libraries used, rendering is done in terminal.
983757 days agoio-streams/934Simple, composable, and easy-to-use stream I/O for Haskell
982513 months agorepline/935Haskeline wrapper for GHCi-like REPL interfaces
98628 months agob-tree/936Haskell on-disk B* tree implementation
9719219 months agodhall-to-cabal/937Compile Dhall expressions to Cabal files
9753724 days agoX11/938A Haskell binding to the X11 graphics library.
100712 years agohaze/939A bittorrent client, for learning purposes
972328623 hours agoDrasil/940Generate all the things (focusing on research software)
972333 months agoansi-terminal/941ANSI terminal support for Haskell, with Windows compatibility
9715176 years agohastache/942Haskell implementation of Mustache template
97718 months agoadvent-of-code-2020/943๐ŸŽ…๐ŸŒŸโ„๏ธโ˜ƒ๏ธ๐ŸŽ„๐ŸŽ
9613112 months agotyperep-map/944โšก๏ธEfficient implementation of Map with types as keys
971562 years agoshell-conduit/945Write shell scripts with Conduit
97141 year, 5 months agotensor-safe/946A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
9627482 years agohaskell-indexer/947Emits code crossreference data for Haskell sources.
961392 years agotinc/948A dependency manager for Haskell
964122 days agosketches/949A Haskell blog
961402 months agocategory-theory-for-programmers-challenges/950Challenges from Category Theory for Programmers
9618192 years agotintin/951๐Ÿ“š A softer alternative to Haddock
9615718 days agofission/952Fission CLI & server
96521 year, 4 months agochallenge/953Strongly-typed System F in Haskell
96781714 days agohashable/954A class for types that can be converted to a hash value
961023 years agohaskellbook/955Exercise solutions for haskellbook.com
10015592 years agohaskell-editor-setup/956Easy instructions for setting up Haskell editors / IDEs on any major operating system.
954081 year, 7 months agoservant-purescript/957Translate servant API to purescript code, with the help of purescript-bridge.
95771 year, 12 days agoshelltestrunner/958Easy, repeatable testing of CLI programs/commands
951625 years agoqio-haskell/959The Quantum IO Monad, implemented in Haskell
958163 years agosealchain/960Financial blockchain based on cardano-sl
94506 years agohinance/961Automated personal bookkeeping for hackers.
94149a month agowaargonaut/962JSON decoding/encoding/manipulation library.
93873 years agoargon/963Monitor cyclomatic complexity in Haskell programs
94402 months agorock/964Build system
9426366 hours agogf-core/965Grammatical Framework core: compiler, shell & runtimes
941005 years agonetwire-classics/966Classic games recreated in netwire
9517109 years agoPeggy/967The Parser Generator for Haskell
94922 years agosuper-user-spark/968A safe way to never worry about your beautifully configured system again. (NO LONGER MAINTAINED. Use Nixos instead.)
951383 years agodatalog/969A pure Haskell implementation of Datalog
94801 year, 7 months agocpl/970An interpreter of Hagino's Categorical Programming Language (CPL).
941226 months agogrid/971Tools for working with regular grids/graphs/lattices.
941712 years agodataflow/972Render graphs using a declarative markup.
931657 years agoeasyVision/973Haskell packages for computer vision, image processing, and pattern recognition
95633 years agotheseus/974theseus, functional programming language with fully reversible computation
9516102 years agoalgebra/975constructive abstract algebra
93802 years agovocabulink/976web application for learning foreign vocabulary
93413 years agoBang/977A Drum Machine DSL for Haskell
9311104 years agogitit2/978A reimplementation of gitit in Yesod
936139 years agoObjectiveHaskell/979Tools for making it easier to integrate Haskell and Objective-C.
93731 year, 20 days agoalgebra-driven-design/980Source material for Algebra-Driven Design
9368a month agoflatparse/981Fast parsing from bytestrings
92863 years agomotor/982Type-safe effectful state machines in Haskell
92411 year, 6 months agohaskey/983Transactional key-value store written entirely in Haskell
92904 months agosynquid/984None
921376 years agosuccinct/985playground for working with succinct data structures
92605 years agoveggies/986Hopefully verifiable code generation in GHC
93035 years agoNtha/987The Ntha Programming Language
92424 months agohypertypes/988Hypertypes - generic programming for heterogeneous recursive types
9211302 years agohs-gauge/989Lean Haskell Benchmarking
92781420 days agounix/990POSIX functionality
921162 months agoghc-whole-program-compiler-project/991GHC Whole Program Compiler and External STG IR tooling
921474 years agohaskellnews/992An aggregation of all online content related to Haskell.
93638 years agohcraft/993Haskell clone of a certain game
92805 months agoblog/994My personal site
9259167 days agowin32/995Haskell support for the Win32 API
9315302 months agodimensional/996Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
9256151 year, 8 months agoheist/997An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags.
91301 year, 7 months agoFPSheet/998FPSheet: A Spreadsheet program with Haskell as the scripting language
921857 months agounits/999The home of the units Haskell package
91291920 days agonix-tools/1000Translate Cabals Generic Package Description to a Nix expression