Skip to content
View theobat's full-sized avatar
  • France, Marseille

Block or report theobat

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
49 stars written in Haskell
Clear filter

The Haskell Tool Stack

Haskell 4,041 848 Updated Dec 20, 2025

Official Haskell IDE support via the language server protocol (LSP)

Haskell 2,868 414 Updated Dec 18, 2025

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 21, 2025

lamdu - towards the next generation IDE

Haskell 1,880 73 Updated Dec 17, 2025

Haskell to VHDL/Verilog/SystemVerilog compiler

Haskell 1,565 164 Updated Dec 19, 2025

Project: M36 Relational Algebra Engine

Haskell 939 50 Updated Dec 13, 2025

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

Haskell 731 80 Updated Dec 16, 2025

A visual Haskell

Haskell 730 15 Updated Mar 20, 2022

A type-safe, non-TH Haskell SQL library and ORM

Haskell 614 184 Updated Oct 19, 2025

A functionally reactive game engine, with headgear to protect you from the headache of game development provided.

Haskell 599 67 Updated Dec 1, 2018

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

Haskell 510 29 Updated Jul 4, 2025

Haskell GraphQL Api, Client and Tools

Haskell 418 68 Updated Dec 12, 2025

Haskell library for the Microsoft Language Server Protocol

Haskell 409 99 Updated Nov 25, 2025

Write type-safe GraphQL services in Haskell

Haskell 404 33 Updated Nov 23, 2019

a fast, extensible, type driven Haskell ECS framework for games

Haskell 397 46 Updated Dec 18, 2025

An implementation of Python's doctest for Haskell

Haskell 392 76 Updated Dec 16, 2025

A Haskell library for typesafe music composition

Haskell 365 13 Updated Mar 3, 2019

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

Haskell 301 143 Updated Oct 26, 2025

pretty-printer for Haskell data types that have a Show instance

Haskell 253 30 Updated Oct 12, 2025

Euterpea version 2

Haskell 227 70 Updated Aug 13, 2025

Extensional capabilities and deriving combinators

Haskell 223 9 Updated Oct 24, 2025

Implementing Quake 3 in Haskell & Vulkan

Haskell 166 7 Updated Apr 29, 2020

GHC Whole Program Compiler and External STG IR tooling

Haskell 120 14 Updated Oct 24, 2025

Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).

Haskell 114 18 Updated Oct 25, 2024

Haskell client library for the ROS robotics framework.

Haskell 110 17 Updated Nov 18, 2016

Fast binary serialization in Haskell

Haskell 110 37 Updated Dec 21, 2024

Simple, composable, and easy-to-use stream I/O for Haskell

Haskell 100 34 Updated Mar 24, 2025

A data-type like Either but with an accumulating Applicative

Haskell 100 26 Updated Jul 10, 2023

JSON decoding/encoding/manipulation library.

Haskell 94 14 Updated Jul 11, 2022
Next