vyorkin Goto Github PK

reaper

relative-image-url

A simple test of using relative URL in .MD files

reth-indexer

reth-indexer reads directly from the reth db and indexes the data into a postgres database all decoded with a simple config file and no extra setup alongside exposing a API ready to query the data.

rms-support-letter.github.io

An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation

savant-ide

A browser-based Scilla IDE.

schnoodle

scilla

Scilla - A Smart Contract Intermediate Level Language

scilla-docs

Documentation for Scilla

scilla-mode

Emacs support for the Scilla programming language

scilla-mode2

Emacs major mode for the Scilla language (WIP).

secp256k1-ml

Elliptic curve library secp256k1 wrapper for Ocaml

servant-swagger

Swagger for Servant

sf-ssreflect

:construction: Working through the SF using ssreflect

shahriarshafin

😎 Shafin's GitHub Readme Profile.

slim-theme

My slim theme.

snake

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

soundcloud-api

SoundCloud clone (the backend part). WIP.

sp-xd

substrate-how-to-guides

Taking the best of Substrate Recipes and applying them to a new framework for structuring a collection of "how-to guides".

substrate-node-template

A new FRAME-based Substrate node, ready for hacking.

substrate-subxt

Submit extrinsics (transactions) to a substrate node via RPC

summoned4

See README for more info

summoned5

See README for more info

swagger2

Swagger 2.0 data model.

swc-foundry

SWC examples with foundry.

tagbar

Vim plugin that displays tags in a window, ordered by scope

tapl-coq

:construction: My Coq proofs for the TAPL book. WIP.

telegram-bot-simple

Easy to use library for building Telegram bots in Haskell.

test-pallet

tiger

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