vyorkin Goto Github PK

amms-rs

A Rust library to interact with automated market makers across EVM chains.

aoc2023

Advent of Code 2023

aof.jl

Working through Algorithms for Optimization by Mykel J. Kochenderfer and Tim A. Wheeler

applied-fp-course

Applied Functional Programming Course - Move from exercises to a working app!

atarime-purescript

A chatbot to hit the Try Purescript type-directed search API.

audits

This repository represents my portfolio of public smart contract security audits and audit contest findings.

audius

unhacked challenge 3: audius

beth

p2p sports betting

bifrost

A parachain focused on building bridges of chains based on PoS consensus.

bittorrent

CodeCrafters challenge

blk

A toy blockchain written in Rust (WIP).

braindump

My braindump

braindump-1

knowledge repository managed with org-mode and org-roam.

braindump-public

braindump-raw

bs-platform.nix

BuckleScript via nix made easy

caleidoscope

:construction: Working through the LLVM kaleidoscope tutorial in OCaml. WIP.

caneco

caneco.dev

catification

This is catification. Catificate yourself now.

chat

Tokio playground

codex

A ctags file generator for cabal/stack project dependencies.

computational_graph_test

Computational graph recruitment test

contracts

Monorepo of common DeFi contracts with single command deployment

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-fv

:construction: My notes and solutions to Coq course by Anton Trunov (source: https://github.com/anton-trunov/coq-lecture-notes) in 2019. WIP.

coq-lecture-notes

Coq Lecture Notes

core-hs

:construction: :construction: :construction: Working through S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992 (using Haskell).

core_profiler_playground

core_profiler usage examples, see the docs: https://ocaml.janestreet.com/ocaml-core/latest/doc/core_profiler/core_profiler.html

csclub-coq-course-spring-2021

A course on formal verification at https://compsciclub.ru, Spring term 2021

damn-vulnerable-defi-solutions

Damn Vulnerable DeFi (Solutions)