Discover @vyorkin Open Source projects

Vasiliy Yorkin (@vyorkin)

vyorkin

Stars
196
Global Rank 125,186 (Top 5 %)
Followers 212
Following 423
Registered over 13 years ago
Most used languages

Haskell
22.2 %

Solidity
17.8 %

OCaml
11.1 %

PureScript 8.9 %

Coq 8.9 %

Rust
6.7 %

Emacs Lisp
4.4 %

Vim Script
2.2 %

Makefile 2.2 %

HTML
2.2 %

Nix
2.2 %

JavaScript
2.2 %

Lua
2.2 %

Shell
2.2 %

Elixir
2.2 %

Jupyter Notebook
2.2 %

ormolu.el

A formatter for Haskell source code

nixos-config

My NixOS configuration

tiger

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

emacs.d

My Emacs config

haskbot

🚧 Haskell interpreter telegram bot. WIP.

okasaki-ocaml

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

mr-steal-yo-crypto-ctf-foundry

CTF challenges for mrstealyocrypto.xyz - Foundry Version (WIP)

purescript-dialogs

Picks from #purescript channel in functionalprogramming slack

purescript-unicode-prelude

Unicode alternatives for common functions and operators. Use wisely.

tiny_evm

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

wyah

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

zshrc

My zsh config files

most-koans

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

ray

🚧 🚧 🚧 A simple ray tracer

tiny-evm

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

coq-fv

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

ocaml-todo

A simple todo app written in OCaml

tmux.conf

vyorkin

pursbot-old

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

hooliswap-v2

Uniswap-V2 clone

tapl-coq

🚧 My Coq proofs for the TAPL book. WIP.

core-hs

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

okasaki-hs

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

vimrc

My (neo)vim config.

math-comp-notes

🚧 Repo to keep track of my notes and solutions to the Mathematical components book.

fun

A small functional language that I'm implementing while reading the Write You a Haskell book.

swc-foundry

SWC examples with foundry.

utxo

A Bitcoin-like Blockchain built with Substrate (WIP).

purescript-soundcloud

PureScript bindings for Official SoundCloud Javascript SDK.

snake

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

xch

Very basic toy exchange simulator.

iridium

Toy register-based VM (WIP)

trader

Simple market-maker trading bot (for BITMEX). WIP.

purescript-handsontable

A minimal Handsontable bindings.

elk

Executable & Linker Kit (WIP).

evm-hack-lab

Damn EVM hacking laboratory.

ethernaut-solutions

Solutions for The Ethernaut challenges

hooliswap-v3

Uniswap V3 clone built for learning purposes.

Jupyter Notebook

lend-v1

A simple lending/borrowing protocol. For educational purposes only.

sf-ssreflect

🚧 Working through the SF using ssreflect

core_profiler_playground

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

evm-gas-golfing-foundry

Learning Gas optimization tricks.

foundry2

My little foundry playground

nvim

My neovim config.

pound-v1

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

computational_graph_test

Computational graph recruitment test

pwrt

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

blk

A toy blockchain written in Rust (WIP).

haskell-dev-tools

Meta-package for Haskell dev tools

vyorkin.github.io

My website hosted on GithHub pages