valeratrades

Valeriy Sakharov's repositories

dots

My configuration files

Language:Lua3 10

booktyping

Language:RustApache-2.02 1 12

todo

Language:RustBlueOak-1.0.02 1 22

v_exchanges

Language:RustNOASSERTION200

.github

Language:NixApache-2.0100

go-warn-unused

gopher can complain but he must not interfere

Language:GoBSD-3-Clause100

nix

dotfiles of valeratrades

Language:Nix1 1 9

tg

Language:RustNOASSERTION1 1 10

btc_line

BTC stats as text

Language:RustNOASSERTION01 4

discretionary_engine

LaTeX of trading

Language:RustApache-2.001 44

rm_engine

Language:RustApache-2.001 3

v_utils

My rust utils

Language:RustNOASSERTION000

valera

Standardizing working with klines + random tools I fancy

Language:Rust010

ask_llm

Language:RustNOASSERTION000

auto_redshift

Language:RustApache-2.001 1

axum-site

Language:RustApache-2.001 4

bad-apple-rs

🍎 Play Bad Apple!! in Terminal [Rust Version] Cross-Term, Binary-Compress, 128*48 & 24 FPS.

Language:RustMIT000

bbeats

Language:RustApache-2.0010

bourso-api

Boursorama / BoursoBank unofficial API and CLI

Language:RustMIT000

cargo-sort-derives

Cargo subcommand to sort derive attributes 📦

Language:RustMIT000

distributions

Language:Rust000

GlimpseOfLean

An introduction to theorem proving in Lean for the impatient.

Language:LeanApache-2.0000

math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

Language:HTML000

nixos

010

postx

Language:RustNOASSERTION000

prettify_log

Language:RustApache-2.001 3

reasonable_envsubst

Language:RustApache-2.0000

site

Language:RustNOASSERTION000

telbot

temp branch for pr

Language:Python000

translate_infrequent

pre-translate infrequent words

Language:PythonNOASSERTION000