Discover vyorkin/coq-fv Open Source project

Stars
2
Language Coq
License
MIT License
Created about 5 years ago
Updated over 3 years ago

vyorkin

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

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

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

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

hooliswap-v3

Uniswap V3 clone built for learning purposes.

Jupyter Notebook

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/coq-fv

vyorkin

Reviews

Repository Details

More Repositories