Skip to content
View simsieg's full-sized avatar
115 followers · 135 following

Achievements

Achievement: YOLOAchievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@hyrise @hpi-swa-teaching @BPChain @ecoify @data-driven-choreographies

Block or report simsieg

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

Starred repositories

9 stars written in Haskell
Clear filter

jgm / pandoc

Universal markup converter

Haskell 40,881 3,715 Updated Dec 18, 2025

koalaman / shellcheck

ShellCheck, a static analysis tool for shell scripts

Haskell 38,667 1,894 Updated Dec 15, 2025

PostgREST / postgrest

REST API for any Postgres database

Haskell 26,263 1,138 Updated Dec 19, 2025

github / semantic

Parsing, analyzing, and comparing source code across many languages

Haskell 9,058 459 Updated Apr 1, 2025

unisonweb / unison

A friendly programming language from the future

Haskell 6,443 291 Updated Dec 18, 2025

SimulaVR / Simula

Linux VR Desktop

Haskell 3,149 105 Updated Dec 3, 2025

agda / agda

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

Haskell 2,758 392 Updated Dec 18, 2025

smallhadroncollider / taskell

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

Haskell 1,772 79 Updated Oct 3, 2023

google / codeworld

Educational computer programming environment using Haskell

Haskell 1,262 198 Updated Apr 7, 2025

Starred topics

See all starred topics