Skip to content
View wbthomason's full-sized avatar

Highlights

  • Pro

Organizations

@Cornell-RPAL @Cornell-CIS-Slack

Block or report wbthomason

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
43 stars written in Haskell
Clear filter

Universal markup converter

Haskell 40,907 3,717 Updated Dec 18, 2025

ShellCheck, a static analysis tool for shell scripts

Haskell 38,686 1,894 Updated Dec 15, 2025

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps πŸ“±!

Haskell 10,070 532 Updated Dec 20, 2025

Parsing, analyzing, and comparing source code across many languages

Haskell 9,058 459 Updated Apr 1, 2025

A strongly-typed language that compiles to JavaScript

Haskell 8,815 570 Updated Oct 18, 2025

A statically typed lisp, without a GC, for real-time applications.

Haskell 5,774 180 Updated Sep 16, 2025

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Haskell 4,230 739 Updated Nov 26, 2025

A Dependently Typed Functional Programming Language

Haskell 3,472 632 Updated Feb 17, 2025

A static website compiler library in Haskell

Haskell 2,868 421 Updated Dec 19, 2025

The Eta Programming Language, a dialect of Haskell on the JVM

Haskell 2,630 142 Updated Jul 31, 2022

The engine for haskell ide-integration. Not an IDE

Haskell 2,369 204 Updated Dec 23, 2020

🍜 A tasty Haskell web framework

Haskell 2,347 156 Updated Dec 20, 2025

A multilingual package manager for Arch Linux and the AUR.

Haskell 1,870 120 Updated Dec 15, 2025

A declarative Unix terminal UI library written in Haskell

Haskell 1,687 170 Updated Oct 17, 2025

The Haskell-Scriptable Editor

Haskell 1,536 198 Updated Nov 1, 2024

Deep Learning in Haskell

Haskell 1,453 82 Updated Dec 8, 2023

Liquid Types For Haskell

Haskell 1,275 150 Updated Dec 19, 2025

β™Š higher-order, no-boilerplate monads

Haskell 1,070 74 Updated Mar 15, 2025

A notification daemon/center for linux

Haskell 1,045 40 Updated Feb 6, 2025

A terminal interface for Tetris

Haskell 976 43 Updated Feb 27, 2025

A standard library for Haskell

Haskell 860 55 Updated Nov 8, 2025

πŸŒ€ Safe, performant, user-friendly and lightweight Haskell standard library

Haskell 731 80 Updated Dec 16, 2025

Extremely modular text editor built in Haskell

Haskell 622 39 Updated Oct 21, 2020

Empire strikes back

Haskell 460 93 Updated Jun 14, 2023

Haskell shell scripting

Haskell 424 82 Updated Aug 25, 2025

A sensible starting Prelude template.

Haskell 405 51 Updated May 16, 2025

Purely functional artificial neural network library implemented in Haskell.

Haskell 382 38 Updated Mar 25, 2016

A Haskell library for typesafe music composition

Haskell 365 13 Updated Mar 3, 2019

An ML-like functional programming language

Haskell 342 21 Updated Oct 17, 2021

A comprehensive self-management System

Haskell 311 46 Updated Dec 20, 2025
Next