Skip to content
View omelkonian's full-sized avatar
🎭
🎭
121 followers · 201 following

Achievements

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

Achievements

Achievement: 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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Pinned Loading

  1. agda/agda2hs agda/agda2hs Public

    Compiling Agda code to readable Haskell

    Agda 177 37

  2. clash-lang/clash-compiler clash-lang/clash-compiler Public

    Haskell to VHDL/Verilog/SystemVerilog compiler

    Haskell 1.4k 154

  3. AlgoRhythm AlgoRhythm Public

    AlgoRhythm: A Haskell library for algorithmic music composition.

    Haskell 22 1

  4. rewrite-inspector rewrite-inspector Public

    A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of small languages.

    Haskell 21 2

  5. formal-utxo formal-utxo Public

    Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.

    Agda 14 2

  6. formal-bitml formal-bitml Public

    Formalization of the Bitcoin Modelling Language (BitML).

    Agda 3