Skip to content
View simsieg's full-sized avatar
116 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,082 3,676 Updated Nov 5, 2025

koalaman / shellcheck

ShellCheck, a static analysis tool for shell scripts

Haskell 38,396 1,884 Updated Nov 5, 2025

PostgREST / postgrest

REST API for any Postgres database

Haskell 25,968 1,127 Updated Nov 6, 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,234 285 Updated Nov 6, 2025

SimulaVR / Simula

Linux VR Desktop

Haskell 3,111 104 Updated Sep 17, 2025

agda / agda

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

Haskell 2,744 389 Updated Nov 5, 2025

smallhadroncollider / taskell

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

Haskell 1,762 78 Updated Oct 3, 2023

google / codeworld

Educational computer programming environment using Haskell

Haskell 1,261 199 Updated Apr 7, 2025

Starred topics

See all starred topics