Skip to content
View omelkonian's full-sized avatar
🎰
🎰
128 followers · 212 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Highlights

  • Pro

Organizations

@input-output-hk @rhea-flow

Block or report omelkonian

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

7 results for forked starred repositories
Clear filter

agda-web / agda-language-server

Forked from agda/agda-language-server

Language Server for Agda

Haskell 3 Updated Oct 30, 2025

plclub / StraTT

Forked from sweirich/pi-forall

Supplementary material for Stratified Type Theory

Haskell 5 Updated Apr 30, 2025

THIS-IS-NOT-A-BACKUP / zspotify

Forked from limaceous-bushwhacker/zspotify

Spotify song downloader without injecting into the windows client

Python 123 19 Updated Nov 5, 2025

thiagofelicissimo / Agda2Dedukti

Forked from GuillaumeGen/Agda2Dedukti
Haskell 1 Updated Oct 25, 2022

jespercockx / generics

Forked from flupe/generics
Agda 2 Updated Oct 13, 2021

lemastero / agda2rust

Forked from omelkonian/agda-minimal-backend

Rust Agda backend.

Haskell 3 Updated May 4, 2024

crypto-agda / crypto-agda

Forked from np/crypto-agda

Cryptographic Constructions in the Type Theory of Agda

Agda 52 5 Updated Aug 8, 2015