Skip to content
View salespaulo's full-sized avatar
🏠
Working from home
🏠
Working from home
115 followers · 805 following

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Block or report salespaulo

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 (30)

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

Starred repositories

7 stars written in Haskell
Clear filter

elm / compiler

Compiler for Elm, a functional language for reliable webapps.

Haskell 7,725 668 Updated Dec 11, 2025

ghc / ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Haskell 3,199 732 Updated Dec 15, 2025

mortberg / cubicaltt

Experimental implementation of Cubical Type Theory

Haskell 594 75 Updated Sep 21, 2023

serokell / universum

🌌 Prelude written in @Serokell

Haskell 185 29 Updated Oct 6, 2025

o3 / n2o

⭕️ N2O: Haskell Application Server

Haskell 46 5 Updated Feb 16, 2022

gergoerdi / clash-compucolor2

Clash implementation of the Compucolor II home computer

Haskell 32 4 Updated Nov 6, 2021

serokell / ghc.dev

The https://ghc.dev Website Generator

Haskell 21 8 Updated Oct 22, 2024

Starred topics