Skip to content
View theuves's full-sized avatar
280 followers · 5 following
  • Fidalgo IT Solutions
  • Bonito-MS, Brazil

Achievements

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

Achievements

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

Organizations

@lusofonia @fidalgoitsolutions

Block or report theuves

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Lists (4)

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

jgm / pandoc

Universal markup converter

Haskell 43,171 3,807 Updated Apr 7, 2026

koalaman / shellcheck

ShellCheck, a static analysis tool for shell scripts

Haskell 39,250 1,906 Updated Apr 4, 2026

unisonweb / unison

A friendly programming language from the future

Haskell 6,574 302 Updated Apr 3, 2026

xmonad / xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

Haskell 3,559 295 Updated Mar 14, 2026

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

Haskell 2,827 410 Updated Apr 8, 2026

tensorflow / haskell

Haskell bindings for TensorFlow

Haskell 1,609 196 Updated Aug 15, 2024

dapine / hcpf

Validador de CPF (Cadastro de Pessoa Física)

Haskell 1 Updated Jun 10, 2018

Starred topics

See all starred topics