vyorkin/most-koans vyorkin/most-koans

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    JavaScript
  • Created about 8 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vyorkin/most-koans
github

vyorkin

Reviews

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

Repository Details

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

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

zshrc

My zsh config files
Shell
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