omelkonian Goto Github PK

.dotfiles

My configuration files

actions

Github actions for Haskell CI

agda

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

agda-lenses

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

agda-minimal-backend

Rustic skeleton for developing a new Agda backend.

agda-stdlib

The Agda standard library

agda-stdlib-classes

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

agda-stdlib-meta

Meta-programming utilities for Agda.

agda2hs

Compiling Agda code to readable Haskell

agda2rust

Rust backend for Agda.

agda2train

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

ai-collection

A collection of solutions to famous AI problems.

airplane-classification

Airplane classification from black-white images.

algorhythm

AlgoRhythm: A Haskell library for algorithmic music composition.

battlecode-2017

Battlecode MIT's programming competition for 2017.

bsc-thesis

cds

Access articles, reports and multimedia content in HEP

clash-compiler

CAES Language for Synchronous Hardware

cmd-center

Lifting bash functions to executable bash scripts.

codin-game

My solutions to CodinGame problems.

contract-automata

Playground for refinement-style verification of EUTxO smart contracts.

crypto

Cryptography exercises.

distributed-image-convolution

Distributed image convolution using 3 different frameworks.

dyck

Meta-grammar utilities for multi-dimensional Dyck languages.

dyckviz

Visualization tools for the Dyck language.

fim-experiment

An experimental comparison of two Frequent Itemset Mining techniques.

formal-bitcoin

Formal model of Bitcoin transactions in Agda

formal-bitml

Formalization of the Bitcoin Modelling Language (BitML).

formal-bitml-to-bitcoin

Secure compilation from BitML to Bitcoin.

formal-dolev-yao

Playground for formalizing Dolev-yao models in Agda.