Skip to content
View andreamancuso's full-sized avatar
33 followers · 255 following
  • Poland

Achievements

Achievement: Pull Sharkx3Achievement: StarstruckAchievement: Public SponsorAchievement: YOLO

Achievements

Achievement: Pull Sharkx3Achievement: StarstruckAchievement: Public SponsorAchievement: YOLO

Block or report andreamancuso

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

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

8 stars written in Haskell
Clear filter

PostgREST / postgrest

REST API for any Postgres database

Haskell 26,258 1,137 Updated Dec 17, 2025

jtdaugherty / brick

A declarative Unix terminal UI library written in Haskell

Haskell 1,686 170 Updated Oct 17, 2025

haskell / aeson

A fast Haskell JSON library

Haskell 1,292 330 Updated Oct 14, 2025

Copilot-Language / copilot

A stream-based runtime-verification framework for generating hard real-time C code.

Haskell 789 73 Updated Nov 8, 2025

nasa / ogma

Generator of runtime monitors for flight and robotics applications.

Haskell 536 43 Updated Nov 23, 2025

camfort / camfort

Light-weight verification and transformation tools for Fortran

Haskell 140 17 Updated Dec 10, 2025

camfort / fortran-src

Fortran parsing and static analysis infrastructure

Haskell 58 23 Updated Dec 10, 2025

J3RN / mnml

Haskell 4 Updated Nov 16, 2025