vyorkin/zshrc vyorkin/zshrc

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Shell
  • Created about 5 years ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vyorkin/zshrc
github

vyorkin

Reviews

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

Repository Details

My zsh config files

More Repositories

1

ormolu.el

A formatter for Haskell source code
Emacs Lisp
35
star
2

nixos-config

My NixOS configuration
Nix
25
star
3

tiger

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

emacs.d

My Emacs config
Emacs Lisp
10
star
5

haskbot

🚧 Haskell interpreter telegram bot. WIP.
Haskell
9
star
6

okasaki-ocaml

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

mr-steal-yo-crypto-ctf-foundry

CTF challenges for mrstealyocrypto.xyz - Foundry Version (WIP)
Solidity
6
star
8

purescript-dialogs

Picks from #purescript channel in functionalprogramming slack
5
star
9

purescript-unicode-prelude

Unicode alternatives for common functions and operators. Use wisely.
PureScript
5
star
10

tiny_evm

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

wyah

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

most-koans

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

ray

🚧 🚧 🚧 A simple ray tracer
Haskell
3
star
14

tiny-evm

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

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
2
star
16

ocaml-todo

A simple todo app written in OCaml
OCaml
2
star
17

tmux.conf

My tmux config
2
star
18

vyorkin

2
star
19

pursbot-old

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

hooliswap-v2

Uniswap-V2 clone
Solidity
2
star
21

tapl-coq

🚧 My Coq proofs for the TAPL book. WIP.
Coq
2
star
22

core-hs

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

okasaki-hs

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

vimrc

My (neo)vim config.
Vim Script
1
star
25

math-comp-notes

🚧 Repo to keep track of my notes and solutions to the Mathematical components book.
Coq
1
star
26

fun

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

swc-foundry

SWC examples with foundry.
Solidity
1
star
28

utxo

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

purescript-soundcloud

PureScript bindings for Official SoundCloud Javascript SDK.
PureScript
1
star
30

snake

🚧 A simple snake game. Warming up, preparing for LD. WIP.
Haskell
1
star
31

xch

Very basic toy exchange simulator.
OCaml
1
star
32

iridium

Toy register-based VM (WIP)
Rust
1
star
33

trader

Simple market-maker trading bot (for BITMEX). WIP.
Haskell
1
star
34

purescript-handsontable

A minimal Handsontable bindings.
PureScript
1
star
35

elk

Executable & Linker Kit (WIP).
1
star
36

evm-hack-lab

Damn EVM hacking laboratory.
Solidity
1
star
37

ethernaut-solutions

Solutions for The Ethernaut challenges
Solidity
1
star
38

hooliswap-v3

Uniswap V3 clone built for learning purposes.
Jupyter Notebook
1
star
39

lend-v1

A simple lending/borrowing protocol. For educational purposes only.
Solidity
1
star
40

sf-ssreflect

🚧 Working through the SF using ssreflect
Coq
1
star
41

core_profiler_playground

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

evm-gas-golfing-foundry

Learning Gas optimization tricks.
1
star
43

foundry2

My little foundry playground
Solidity
1
star
44

nvim

My neovim config.
Lua
1
star
45

pound-v1

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

computational_graph_test

Computational graph recruitment test
Rust
1
star
47

pwrt

Some notes & examples for the Programming with Refinement Types book.
Haskell
1
star
48

blk

A toy blockchain written in Rust (WIP).
Rust
1
star
49

haskell-dev-tools

Meta-package for Haskell dev tools
Makefile
1
star
50

vyorkin.github.io

My website hosted on GithHub pages
HTML
1
star