Skip to content
View tammela's full-sized avatar
33 followers · 5 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@llvm @luainkernel

Block or report tammela

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

Starred repositories

5 stars written in Haskell
Clear filter

jgm / pandoc

Universal markup converter

Haskell 43,373 3,811 Updated Apr 13, 2026

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,235 731 Updated Apr 14, 2026

agda / agda

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

Haskell 2,828 409 Updated Apr 14, 2026

ucsd-progsys / liquidhaskell

Liquid Types For Haskell

Haskell 1,303 154 Updated Apr 13, 2026

lamdu / hypertypes

Hypertypes - generic programming for heterogeneous recursive types

Haskell 124 10 Updated Jan 12, 2025

Starred topics

See all starred topics