Discover vyorkin/hooliswap-v3 Open Source project

Stars
1
Language
Jupyter Notebook
License
The Unlicense
Created about 2 years ago
Updated 10 months ago

vyorkin

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Uniswap V3 clone built for learning purposes.

ormolu.el

A formatter for Haskell source code

Emacs Lisp

nixos-config

My NixOS configuration

Nix

tiger

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

OCaml

emacs.d

My Emacs config

Emacs Lisp

haskbot

🚧 Haskell interpreter telegram bot. WIP.

Haskell

okasaki-ocaml

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

OCaml

mr-steal-yo-crypto-ctf-foundry

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

Solidity

purescript-dialogs

Picks from #purescript channel in functionalprogramming slack

purescript-unicode-prelude

Unicode alternatives for common functions and operators. Use wisely.

PureScript

tiny_evm

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

Elixir

wyah

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

Haskell

zshrc

My zsh config files

Shell

most-koans

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

JavaScript

ray

🚧 🚧 🚧 A simple ray tracer

Haskell

tiny-evm

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

Haskell

coq-fv

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

Coq

ocaml-todo

A simple todo app written in OCaml

OCaml

tmux.conf

My tmux config

vyorkin

pursbot-old

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

PureScript

hooliswap-v2

Uniswap-V2 clone

Solidity

tapl-coq

🚧 My Coq proofs for the TAPL book. WIP.

Coq

core-hs

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

Haskell

okasaki-hs

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

Haskell

vimrc

My (neo)vim config.

Vim Script

math-comp-notes

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

Coq

fun

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

Haskell

swc-foundry

SWC examples with foundry.

Solidity

utxo

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

purescript-soundcloud

PureScript bindings for Official SoundCloud Javascript SDK.

PureScript

snake

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

Haskell

xch

Very basic toy exchange simulator.

OCaml

iridium

Toy register-based VM (WIP)

Rust

trader

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

Haskell

purescript-handsontable

A minimal Handsontable bindings.

PureScript

elk

Executable & Linker Kit (WIP).

evm-hack-lab

Damn EVM hacking laboratory.

Solidity

ethernaut-solutions

Solutions for The Ethernaut challenges

Solidity

lend-v1

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

Solidity

sf-ssreflect

🚧 Working through the SF using ssreflect

Coq

core_profiler_playground

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

OCaml

evm-gas-golfing-foundry

Learning Gas optimization tricks.

foundry2

My little foundry playground

Solidity

nvim

My neovim config.

Lua

pound-v1

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

Solidity

computational_graph_test

Computational graph recruitment test

Rust

pwrt

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

Haskell

blk

A toy blockchain written in Rust (WIP).

Rust

haskell-dev-tools

Meta-package for Haskell dev tools

Makefile

vyorkin.github.io

My website hosted on GithHub pages

HTML

vyorkin/hooliswap-v3

vyorkin

Reviews

Repository Details

More Repositories