Pinned Repositories
.github
booktyping
btc_line
BTC stats as text
discretionary_engine
LaTeX of trading
dots
My configuration files
go-warn-unused
gopher can complain but he must not interfere
nix
tg
todo
v_utils
My rust utils
valeratrades's Repositories
valeratrades/dots
My configuration files
valeratrades/booktyping
valeratrades/.github
valeratrades/go-warn-unused
gopher can complain but he must not interfere
valeratrades/tg
valeratrades/todo
valeratrades/ValeraLib
Lib of often used utils
valeratrades/btc_line
BTC stats as text
valeratrades/discretionary_engine
LaTeX of trading
valeratrades/nix
valeratrades/v_utils
My rust utils
valeratrades/valera
Standardizing working with klines + random tools I fancy
valeratrades/AnsiEsc
Better ANSI conceal support for vim / Neovim
valeratrades/auto_redshift
valeratrades/axum-site
valeratrades/bad-apple-rs
🍎 Play Bad Apple!! in Terminal [Rust Version] Cross-Term, Binary-Compress, 128*48 & 24 FPS.
valeratrades/bbeats
valeratrades/cargo-sort
Check if tables and items in a .toml file are lexically sorted
valeratrades/distributions
valeratrades/doc_scraper
valeratrades/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
valeratrades/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
valeratrades/nixos
valeratrades/orderbook_3d
valeratrades/prettify_log
valeratrades/reasonable_envsubst
valeratrades/rust-test-auto-pull
dbg
valeratrades/rust_codestyle
valeratrades/screenpipe
Library to build personalized AI powered by what you've seen, said, or heard. Works with Ollama. Alternative to Rewind.ai. Open. Secure. You own your data. Rust.
valeratrades/tg_admin