matheus-consoli

matheus-consoli's Stars

• seanmonstar/warp

  A super-easy, composable, web server framework for warp speeds.

  Language:Rust9.6k723

• rust-lang/rfcs

  RFCs for changes to Rust

  Language:Markdown6k1.6k

• meithecatte/fake-static

  rustc hates him! Sidestep borrow checking with this weird trick.

  Language:Rust982

• rust-lang/blog.rust-lang.org

  Home of the Rust and Inside Rust blogs

  Language:HTML354289

• hamler-lang/hamler

  Haskell-style functional programming language running on Erlang VM.

  Language:Erlang1k39

• EmilHernvall/dnsguide

  A guide to writing a DNS Server from scratch in Rust

  4.1k260

• Ashymad/fortraith

  Forth for Rust's trait system

  Language:Rust2267

• dhall-lang/dhall-lang

  Maintainable configuration files

  Language:Dhall4.2k174

• weirdNox/org-noter

  Emacs document annotator, using Org-mode

  Language:Emacs Lisp1.1k101

• fuxialexander/org-pdftools

  A custom org link type for pdf-tools

  Language:Emacs Lisp33636

• epsrc-abcd/session-types-use-cases

  This is a common repository for the ABCD team to share use-cases of session types.

  Language:TeX158

• fosskers/aura

  A multilingual package manager for Arch Linux and the AUR.

  Language:Haskell1.8k114

• Munksgaard/session-types

  Language:Rust55521

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k233

• pretzelhammer/rust-blog

  Educational blog posts for Rust beginners

  Language:Rust7.5k397

• doctorn/trait-eval

  We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???

  Language:Rust3649

• paulkernfeld/global-data-in-rust

  This guide explains how you can use "global data" in Rust

  Language:Rust19811

• aeplay/kay

  Experimental high-performance actor system framework for Rust

  Language:Rust42627

• mit-pdos/noria

  Fast web applications through dynamic, partially-stateful dataflow

  Language:Rust5k243

• mre/idiomatic-rust

  🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

  Language:Rust6.6k204

• rust-lang/chalk

  An implementation and definition of the Rust trait system using a PROLOG-like logic solver

  Language:Rust1.8k182

• thma/WhyHaskellMatters

  In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.

  Language:Haskell46714

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k359

• florinpop17/app-ideas

  A Collection of application ideas which can be used to improve your coding skills.

  80.7k9.6k

• seed-rs/seed

  A Rust framework for creating web apps

  Language:Rust3.8k155

• rust-lang/unsafe-code-guidelines

  Forum for discussion about what unsafe code can and can't do

  66758

• sn99/wasm-template-rust

  A wasm 🕸 template for Rust 🦀 to publish to gh-pages without npm-deploy

  Language:Rust11919

• actions-rs/clippy-check

  📎 GitHub Action for PR annotations with clippy warnings

  Language:TypeScript29041

• rust-fuzz/cargo-fuzz

  Command line helpers for fuzzing

  Language:Rust1.5k110

• sindresorhus/awesome

  😎 Awesome lists about all kinds of interesting topics

  333k27.9k