Skip to content
View sebastinas's full-sized avatar
204 followers · 37 following

Sponsors

@Psyhackological
@BasedScience
@thomasballinger
@scalisi

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Organizations

@pwmt @krakenh2020 @ait-crypto

Block or report sebastinas

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

Stars

2 stars written in Haskell
Clear filter

xmonad / xmonad

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

Haskell 3,511 294 Updated Dec 15, 2025

tamarin-prover / tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.

Haskell 493 155 Updated Dec 3, 2025