matheus-consoli

matheus-consoli's Stars

• benweitzman/BinarySpacePartition

  XMonad Layout

  Language:Haskell405

• rigtorp/awesome-lockfree

  A collection of resources on wait-free and lock-free programming

  1.8k170

• rust-lang/lang-team

  Home of the Rust lang team

  Language:JavaScript20348

• triska/the-power-of-prolog

  Introduction to modern Prolog

  Language:HTML1.2k76

• official-stockfish/Stockfish

  A free and strong UCI chess engine

  Language:C++11.6k2.3k

• lunatic-solutions/lunatic

  Lunatic is an Erlang-inspired runtime for WebAssembly

  Language:Rust4.6k138

• auxoncorp/tnfilt

  Language:Rust321

• rust-lang/futures-rs

  Zero-cost asynchronous programming in Rust

  Language:Rust5.4k627

• flix/flix

  The Flix Programming Language

  Language:Scala2.2k154

• TheAlgorithms/Rust

  All Algorithms implemented in Rust

  Language:Rust22.9k2.2k

• meilisearch/meilisearch

  A lightning-fast search API that fits effortlessly into your apps, websites, and workflow

  Language:Rust47.4k1.8k

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k376

• awesomo4000/awesome-provable

  A curated set of links to formal methods involving provable code.

  1958

• launchbadge/sqlx

  🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

  Language:Rust13.5k1.3k

• teloxide/teloxide

  🤖 An elegant Telegram bots framework for Rust

  Language:Rust3.2k234

• bevyengine/bevy

  A refreshingly simple data-driven game engine built in Rust

  Language:Rust36.3k3.6k

• willcrichton/tyrade

  A pure functional language for type-level programming in Rust

  Language:Rust32313

• rust-hosted-langs/book

  Writing Interpreters in Rust: a Guide

  Language:Rust49130

• dtolnay/proc-macro-workshop

  Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

  Language:Rust4.2k1.1k

• emacs-lsp/lsp-mode

  Emacs client/library for the Language Server Protocol

  Language:Emacs Lisp4.8k893

• mirth-lang/mirth

  Compiler for the Mirth programming language.

  Language:C44714

• irrustible/async-supervisor

  [WIP] Supervisors for async-backplane

  Language:Rust273

• irrustible/async-backplane

  Simple, Erlang-inspired fault-tolerance framework for Rust Futures.

  Language:Rust1306

• ogdenwebb/emacs-kaolin-themes

  Set of eye pleasing themes for GNU Emacs. Supports both GUI and terminal.

  Language:Emacs Lisp74526

• microsoft/cascadia-code

  This is a fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal.

  Language:Python26k809

• rust-lang/wg-allocators

  Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!

  2139

• headcrab-rs/headcrab

  A modern Rust debugging library 🦀

  Language:Rust88832

• erlang/otp

  Erlang/OTP

  Language:Erlang11.4k3k

• elixir-lsp/elixir-ls

  A frontend-independent IDE "smartness" server for Elixir. Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"

  Language:Elixir1.5k196

• elixir-lang/elixir

  Elixir is a dynamic, functional language for building scalable and maintainable applications

  Language:Elixir24.5k3.4k