matheus-consoli

matheus-consoli's Stars

• rust-unofficial/awesome-rust

  A curated list of Rust code and resources.

  Language:Rust47k2.8k

• practical-tutorials/project-based-learning

  Curated list of project-based tutorials

  204k26.7k

• dtolnay/cargo-expand

  Subcommand to show result of macro expansion

  Language:Rust2.7k67

• rust-lang/rust-clippy

  A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

  Language:Rust11.5k1.5k

• frondeus/test-case

  Rust procedural macro attribute for adding test cases easily

  Language:Rust61439

• microsoft/verona

  Research programming language for concurrent ownership

  Language:C++3.6k165

• dtolnay/rust-faq

  Frequently Asked Questions · The Rust Programming Language

  28312

• xd009642/tarpaulin

  A code coverage tool for Rust projects

  Language:Rust2.5k180

• system-f/fp-course

  Functional Programming Course

  Language:Haskell4.1k1.2k

• PyO3/maturin

  Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages

  Language:Rust3.9k273

• PyO3/pyo3

  Rust bindings for the Python interpreter

  Language:Rust12.4k763

• kurtlawrence/papyrus

  (Rust) repl

  Language:Rust44014

• crossbeam-rs/crossbeam

  Tools for concurrent programming in Rust

  Language:Rust7.4k470

• satwikkansal/wtfpython

  What the f*ck Python? 😱

  Language:Python35.8k2.7k

• tokio-rs/tokio

  A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

  Language:Rust27.1k2.5k

• MagicStack/uvloop

  Ultra fast asyncio event loop.

  Language:Cython10.4k544

• mfornos/awesome-microservices

  A curated list of Microservice Architecture related principles and technologies.

  13.3k1.8k

• rust-db/refinery

  Powerful SQL migration toolkit for Rust.

  Language:Rust1.3k127

• dtolnay/case-studies

  Analysis of various tricky Rust code

  Language:Rust1.7k46

• brendanzab/codespan

  Beautiful diagnostic reporting for text-based programming languages.

  Language:Rust1.1k60

• cpitclaudel/company-coq

  A Coq IDE build on top of Proof General's Coq mode

  Language:Emacs Lisp35429

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k650

• starship/starship

  ☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

  Language:Rust45.4k2k

• nrc/r4cppp

  Rust for C++ programmers

  Language:Rust3.6k289

• rsapkf/42

  @rsapkf's wiki. [Merged into rsapkf/www]

  Language:JavaScript1.9k131

• lrlna/smol-zines

  sketching out concepts one 📝 at a time

  51518

• EbookFoundation/free-programming-books

  :books: Freely available programming books

  338k61.7k

• rust-lang/rust-analyzer

  A Rust compiler front-end for IDEs

  Language:Rust14.3k1.6k

• binhnguyennus/awesome-scalability

  The Patterns of Scalable, Reliable, and Performant Large-Scale Systems

  59k6.1k

• bytecodealliance/wasmtime

  A fast and secure runtime for WebAssembly

  Language:Rust15.4k1.3k