Haskell repositories

The top 500 Haskell repositories, ranked by stars

Last updated

Haskell repositories ranked by stars, 201 to 250, page 5 of 10
RankRepositoryStars
201

Reach: The Safest and Smartest DApp Programming Language

578
202

Write You a Scheme

575
203

A library for building Haskell IDE tooling

574
204

Learn Haskell, with tiny lessons.

564
205

Main source code repository of the Tamarin prover for security protocol verification.

562
206

🚧 a work in progress effect system for Haskell 🚧

560
207

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

556
208

Reliable and fast PostgreSQL driver for Haskell

554
209

Library for functional reactive programming in Haskell.

540
210

Haskoin Core is a Bitcoin and Bitcoin Cash library

536
210

A user-centric visual STG implementation to help understand GHC/Haskell's execution model.

536
212

Code and materials for my book "Functional Design and Architecture"

534
213

Exercism exercises in Haskell.

531
214

A fast Haskell library for parsing ByteStrings

530
215

The Software Analysis Workbench

527
216

A powerful but simple library for measuring the performance of Haskell code.

525
217

Web application for exploring and understanding Haskell codebases

517
218

FP101x - Functional Programming MOOC 2015 Content Repository

514
219

A language for intent-centric and declarative decentralised applications

508
220

Compiler for the Gren programming language

507
221

Introduction to parsing with Haskell and Parsec

506
221

API for protocol buffers using modern Haskell language and library patterns.

506
221

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

506
224

Explain why two Nix derivations differ

505
225

Haskell Programming From First Principles - Follow-up Resources

502
225

CI and hosting for nix-based, flakified github repos

502
227

GUI framework that uses the web browser as a display.

500
228

Generate command-line completions using a simple DSL.

498
229

📖 source material for Thinking with Types

497
230

GIF that always shows the current time in UTC

496
231

Compositional pipelines

494
231

Comparing many FRP implementations by reimplementing the same toy app in each.

494
233

An unobtrusive, developer-friendly way to add comments

492
233

Functional Reactive Programming domain-specific language for efficient hybrid systems

492
235

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

489
236

The exercise files from 10 Minute Vim, for convenience of readers

488
237

Persistence interface for Haskell allowing multiple storage methods.

486
237

Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial

486
239

a challenge for Haskell beginners

482
240

A type-safe, high-level SQL library for Haskell

480
240

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.

480
242

In 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...

479
243

Functional sed for JSON

476
244

Hackage-Server: A Haskell Package Repository

468
244

An interpreter for learning and exploring pure λ-calculus

468
246

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

466
247

Launch processes with Vault secrets in the environment

465
248

FPGA 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...

463
248

Compiling to Categories

463
250

My xmonad and xmobar configuration, plus necessary scripts to make things more usable.

460