Skip to content
View omelkonian's full-sized avatar
🎭
🎭
120 followers · 199 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

  • formal-bitcoin Public

    Formal model of Bitcoin transactions in Agda

    Agda 5 Updated Oct 14, 2024

  • formal-bitml Public

    Formalization of the Bitcoin Modelling Language (BitML).

    Agda 3 Updated Oct 14, 2024

  • formal-utxo Public

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

    Agda 14 3 Updated Oct 14, 2024

  • agda-stdlib-classes Public

    Extension of Agda's standard library to accommodate a more typeclass-friendly interface.

    Agda MIT License Updated Oct 11, 2024

  • setup-agda-test Public

    Agda Updated Oct 4, 2024

  • agda-stdlib-meta Public

    Meta-programming utilities for Agda.

    Agda 14 2 MIT License Updated Sep 13, 2024

  • setup-agda Public

    Set up your GitHub Actions workflow with a specific version of Agda (+ stdlib + libraries from git repos)

    TypeScript 3 MIT License Updated Sep 13, 2024

  • formal-prelude Public

    Simple extension of Agda's standard library for personal use.

    Agda 3 1 Updated Sep 12, 2024

  • agda2rust Public

    Rust backend for Agda.

    Haskell 3 Updated Aug 26, 2024

  • agda-lenses Public

    Rustic lenses library for Agda, equipped with automatic generic deriving.

    Agda 1 MIT License Updated May 31, 2024

  • presentations Public

    My presentations.

    TeX Updated Apr 6, 2024

  • omelkonian.github.io Public

    My personal webpage

    HTML Updated Mar 27, 2024

  • .dotfiles Public

    My configuration files

    Emacs Lisp Updated Mar 19, 2024

  • cmd-center Public

    Lifting bash functions to executable bash scripts.

    Haskell Updated Mar 18, 2024

  • hoare-ledgers Public

    Separation logic for UTXO-based blockchain ledgers

    Agda 1 Updated Feb 29, 2024

  • agda2hs Public

    Forked from agda/agda2hs

    Compiling Agda code to readable Haskell

    Agda MIT License Updated Feb 26, 2024

  • structured-contracts Public

    Playgroup for small-step-style simulation verification of EUTxO smart contracts.

    Agda Updated Feb 5, 2024

  • agda-minimal-backend Public template

    Rustic skeleton for developing a new Agda backend.

    Haskell 1 Updated Dec 14, 2023

  • agda Public

    Forked from agda/agda

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

    Haskell Other Updated Nov 24, 2023

  • agda2train Public

    Prototyping an Agda backend to generate training data for machine learning.

    Haskell 3 BSD 2-Clause "Simplified" License Updated Oct 28, 2023

  • formal-ledger-specifications Public

    Forked from IntersectMBO/formal-ledger-specifications

    Formal specifications of the cardano ledger

    Agda Apache License 2.0 Updated Oct 24, 2023

  • language-rust Public

    Forked from harpocrates/language-rust

    Parser and pretty-printer for the Rust language

    Haskell BSD 3-Clause "New" or "Revised" License Updated Sep 18, 2023

  • formal-bitml-to-bitcoin Public

    Secure compilation from BitML to Bitcoin.

    Agda Updated Sep 2, 2023

  • nominal-agda Public

    Experiments in nominal techniques for Agda.

    Agda 1 Updated Jun 4, 2023

  • formal-dolev-yao Public

    Playground for formalizing Dolev-yao models in Agda.

    Agda Updated Jun 2, 2023

  • contract-automata Public

    Playground for refinement-style verification of EUTxO smart contracts.

    Agda Updated Nov 23, 2022

  • plfa.github.io Public

    Forked from plfa/plfa.github.io

    Introduction to programming language theory in Agda

    Agda Creative Commons Attribution 4.0 International Updated Nov 21, 2022

  • dyckviz Public

    Visualization tools for the Dyck language.

    Python MIT License Updated Jun 21, 2022

  • dyck Public

    Meta-grammar utilities for multi-dimensional Dyck languages.

    Python 2 MIT License Updated Jun 21, 2022

  • formal-mtg Public

    A mechanized model of Magic: The Gathering rules.

    Agda Updated Jun 2, 2022