Skip to content
View romac's full-sized avatar
🔮
λ
🔮
λ

Sponsoring

@fasterthanlime

Organizations

@ooc-lang @HackEPFL @epfl-lara @SpinResearch

Block or report romac

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
Stars

🔮 Haskell

32 repositories

🌈 Haskell CLI Framework supporting Command Line Interface Guidelines

Haskell 200 22 Updated Nov 12, 2023

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

Haskell 456 37 Updated Jan 19, 2026

🕵️ Haskell STatic ANalyser

Haskell 588 56 Updated Jan 16, 2026

A simple library for reporting compiler/interpreter errors

Haskell 269 23 Updated Aug 11, 2024

Types for ldtk

Haskell 16 Updated Apr 13, 2024

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Haskell 1,057 41 Updated Jun 13, 2025

Interpret Haskell programs into any cartesian closed category.

Haskell 69 2 Updated Feb 12, 2026

Haskell to C compiler via Categorifier

Haskell 39 3 Updated Dec 15, 2023

Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.

Haskell 98 4 Updated Dec 28, 2025

Haskell bindings for MLIR

Haskell 121 17 Updated Feb 24, 2026

Interpreter for the reversible functional language rFun

Haskell 38 4 Updated Feb 28, 2018

enumerative property-based testing for Haskell

Haskell 53 8 Updated Aug 7, 2025

Functional teaching language for use in a discrete mathematics course

TeX 179 25 Updated Feb 11, 2026

A 65C02 Assembly eDSL in Haskell

Haskell 17 2 Updated May 31, 2018

🐣 A Haskell IDE for Visual Studio Code.

TypeScript 27 2 Updated Feb 24, 2026

⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

Haskell 344 11 Updated Feb 27, 2026

Fast parsing from bytestrings

Haskell 174 17 Updated Oct 8, 2025

LLVM code generation in Haskell

Haskell 54 7 Updated Oct 30, 2024

Haskell framework for generative models of jazz

Haskell 42 3 Updated Jun 24, 2019

Simple shell like scripting from Haskell

Haskell 288 9 Updated Jul 3, 2025

Haskell interval collections

Haskell 17 4 Updated May 5, 2025

A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode

Haskell 59 1 Updated Nov 13, 2025

Functional choreographic programming in Haskell

Haskell 118 21 Updated Jun 11, 2025
Haskell 142 19 Updated Feb 27, 2026

String manipulation tool written in haskell

Haskell 29 Updated Mar 15, 2024

Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.

Haskell 13 2 Updated Jan 28, 2026

Squeal, a deep embedding of SQL in Haskell

Haskell 376 33 Updated Jun 29, 2025

Haskell-based shell scripting language

Haskell 617 54 Updated Nov 11, 2025

Implementation of an efficient thread-safe global Symbol Table, with garbage collection

Haskell 20 2 Updated Mar 2, 2025

A theory‑backed, type‑safe algebraic effects

Haskell 186 8 Updated Aug 2, 2025