valeratrades
Follow
-
-
-
-
-
math2001 Public
Forked from hrmacbeth/math2001Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
HTML UpdatedDec 18, 2024 -
v_utils Public
My rust utils
-
bourso-api Public
Forked from azerpas/bourso-apiBoursorama / BoursoBank unofficial API and CLI
Rust MIT License UpdatedDec 16, 2024 -
go-warn-unused Public
Forked from golang/gogopher can complain but he must not interfere
-
-
bad-apple-rs Public
Forked from lomirus/bad-apple-rs🍎 Play Bad Apple!! in Terminal [Rust Version] Cross-Term, Binary-Compress, 128*48 & 24 FPS.
Rust MIT License UpdatedNov 30, 2024 -
-
-
-
-
-
GlimpseOfLean Public
Forked from PatrickMassot/GlimpseOfLeanAn introduction to theorem proving in Lean for the impatient.
Lean Apache License 2.0 UpdatedNov 14, 2024 -
dots Public archive
My configuration files
-
-
-
-
-
booktyping Public
-
-
-
-
AnsiEsc Public
Forked from Makaze/AnsiEscBetter ANSI conceal support for vim / Neovim
Vim Script UpdatedSep 15, 2024 -
-
-
cargo-sort Public
Forked from DevinR528/cargo-sortCheck if tables and items in a .toml file are lexically sorted
Rust UpdatedAug 29, 2024 -
screenpipe Public
Forked from mediar-ai/screenpipeLibrary 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.
Rust MIT License UpdatedAug 24, 2024