valeratrades

valeratrades's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown326k5.6k71630.2k

• juanfont/headscale

  An open source, self-hosted implementation of the Tailscale control server

  Language:Go24.7k1619091.4k

• tailscale/tailscale

  The easiest, most secure way to use WireGuard and 2FA.

  Language:Go20.4k1657.6k1.6k

• extrawurst/gitui

  Blazing 💥 fast terminal-ui for git written in rust 🦀

  Language:Rust18.9k95958584

• rust-lang/rustfmt

  Format Rust code

  Language:Rust6.1k483.7k901

• pimalaya/himalaya

  CLI to manage emails

  Language:Rust4.5k42356123

• altsem/gitu

  A TUI Git client inspired by Magit

  Language:Rust2k7104102

• ulyssa/iamb

  A Matrix client for Vim addicts

  Language:Rust714525650

• jshellen/HFT

  High Frequency Market Making

  Language:Jupyter Notebook48212197

• rust-lang/compiler-builtins

  Porting `compiler-rt` intrinsics to Rust

  Language:Rust38832198214

• taiki-e/install-action

  GitHub Action for installing development tools (mainly from GitHub Releases).

  Language:Shell29576435

• leanprover-community/batteries

  The "batteries included" extended library for the Lean programming language and theorem prover

  Language:Lean2691662110

• rust-motd/rust-motd

  Beautiful, useful, configurable MOTD generation with zero runtime dependencies

  Language:Rust22231811

• yusdacra/nix-cargo-integration

  Library to easily and effortlessly integrate Cargo projects with Nix.

  Language:Nix19248523

• whitequark/rust-xdg

  A library that makes it easy to follow the X Desktop Group specifications

  Language:Rust16162129

• leanprover-community/NNG4

  Natural Number Game

  Language:Lean127114938

• indiv0/aoc-fastest

  Fastest Known Solutions to Advent of Code 2024

  Language:Rust1214

• DanielKeep/rust-custom-derive

  Custom derivation macro for Rust

  Language:Rust11143117

• matklad/abont

  Finally, a shell for all seasons!

  Language:Rust107802

• Glistix/glistix

  Fork of the Gleam compiler providing a Nix backend, compiling Gleam to Nix

  Language:Rust982141

• GermainZ/xdg-desktop-portal-termfilechooser

  xdg-desktop-portal backend for choosing files with your favorite file chooser

  Language:C9251321

• KaylorBen/nixcord

  Declarative Vencord plugins + options

  Language:Nix901218

• kalbasit/ncps

  Nix binary cache proxy service -- with local caching and signing.

  Language:Go701150

• ParaN3xus/typress

  Typst Mathematical Expression OCR

  Language:JavaScript61113

• pimalaya/himalaya-vim

  Vim frontend for Himalaya CLI email client

  Language:Vim Script553114

• azerpas/bourso-api

  Boursorama / BoursoBank unofficial API and CLI

  Language:Rust352113

• Decodetalkers/xdg-desktop-portal-shana

  xdg desktop portal for anyone maybe... at least for me

  Language:Rust34231

• jshellen/statarb

  Language:Jupyter Notebook303115

• jpypi/rustix

  Matrix chat bot written in Rust

  Language:Rust12311

• Dich0tomy/snowstorm

  Language:Lua5100