Vasiliy Yorkin

ormolu.el. A formatter for Haskell source code

nixos-config. My NixOS configuration

tiger. :construction: A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.

haskbot. :construction: Haskell interpreter telegram bot. WIP.

emacs.d. My Emacs config

okasaki-ocaml. My notes and solutions for "Purely Functional Data Structures" book by Chris Okasaki (in OCaml).

purescript-unicode-prelude. Unicode alternatives for common functions and operators. Use wisely.

mr-steal-yo-crypto-ctf-foundry. CTF challenges for mrstealyocrypto.xyz - Foundry Version (WIP)

purescript-dialogs. Picks from #purescript channel in functionalprogramming slack

tapl-coq. :construction: My Coq proofs for the TAPL book. WIP.

ray. :construction: :construction: :construction: A simple ray tracer

zshrc. My zsh config files

wyah. :construction: :construction: :construction: Repo to keep track of my notes and examples to the Write You a Haskell book by Stephen Diehl.

tiny_evm. Tiny EVM - A tiny ethereum-like VM written in Elixir.

most-koans. The Koans walk you along the path to enlightment in order to learn Most.js (WIP)

tmux.conf. My tmux config

haskell-exercises. A little course for Habito engineers to learn about some of the more obscure GHC extensions.

okasaki-hs. My notes and solutions for "Purely Functional Data Structures" book by Chris Okasaki (in Haskell).

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.

tiny-evm. Tiny EVM - A tiny ethereum-like VM written in Haskell. (WIP, probably I'm not going to finish this)

vyorkin.

ocaml-todo. A simple todo app written in OCaml

pursbot-old. PureScript telegram bot. Abandoned. I'm writing a new one, for real

hooliswap-v2. Uniswap-V2 clone

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

pound-v1. Like Compound but without "com". SAP (simple as possible) lending protocol built for learning purposes.

DeFi-Security-Summit-Stanford. My solutions to DEFI Focus Smart Contract Security Capture the Flag

audius. unhacked challenge 3: audius

advent-of-code. Let's have a monorepo with multiple languages per year

macos. My config for Mac OS + Brewfile.

rc5_test. RC5 recruitment test

ethers-rs. Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

computational_graph_test. Computational graph recruitment test

lend-v1. A simple lending/borrowing protocol. For educational purposes only.

hooliswap-v3. Uniswap V3 clone built for learning purposes. WIP.

schnoodle. Solidity

alloy-mev. An Alloy transport to send transaction bundles via Flashbots.

nvim. My neovim config.

elk. Executable & Linker Kit (WIP).

pwrt. Some notes & examples for the Programming with Refinement Types book.

math-comp-notes. :construction: Repo to keep track of my notes and solutions to the Mathematical components book.

swc-foundry. SWC examples with foundry.

blk. A toy blockchain written in Rust (WIP).

xch. Very basic toy exchange simulator.

snake. :construction: A simple snake game. Warming up, preparing for LD. WIP.

vyorkin.github.io. My website hosted on GithHub pages