Y-Nak

Y-Nak's Stars

• rust-lang/rust-analyzer

  A Rust compiler front-end for IDEs

  Language:Rust14.5k958.2k1.6k

• 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.6k877k1.6k

• tock/tock

  A secure embedded operating system for microcontrollers

  Language:Rust5.5k120690707

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.9k672k444

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#3k802.8k266

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.8k802.1k236

• dtolnay/cargo-expand

  Subcommand to show result of macro expansion

  Language:Rust2.7k1812866

• BinaryAnalysisPlatform/bap

  Binary Analysis Platform

  Language:OCaml2.1k93494274

• rust-lang/rustc_codegen_cranelift

  Cranelift based backend for rustc

  Language:Rust1.7k39480103

• rust-lang/polonius

  Defines the Rust borrow checker.

  Language:Rust1.4k665174

• lifting-bits/remill

  Library for lifting machine code to LLVM bitcode

  Language:C++1.3k63248146

• hylo-lang/hylo

  The Hylo programming language

  Language:Swift1.3k2545259

• dtolnay/rust-toolchain

  Concise GitHub Action for installing a Rust toolchain

  Language:Shell1.2k136754

• dtolnay/paste

  Macros for all your token pasting needs

  Language:Rust1k135359

• gimli-rs/gimli

  A library for reading and writing the DWARF debugging format

  Language:Rust86317216110

• microsoft/llvm-mctoll

  llvm-mctoll

  Language:C++8253495123

• rust-num/num-traits

  Numeric traits for generic mathematics in Rust

  Language:Rust74917174138

• rust-analyzer/rowan

  Language:Rust724214960

• flux-rs/flux

  Refinement Types for Rust

  Language:Rust6741119322

• falconre/falcon

  Binary Analysis Framework in Rust

  Language:Rust551303946

• rust-lang/a-mir-formality

  a model of MIR and the Rust type/trait system

  Language:Rust293296535

• capstone-rust/capstone-rs

  high-level Capstone system bindings for Rust

  Language:C22264879

• nikomatsakis/rustacean-principles

  Language:Handlebars17811510

• duchess-rs/duchess

  Silky smooth Java-Rust interop

  Language:Rust16287717

• leonardoalt/yools

  Tools for Yul.

  Language:SMT1379215

• riscv/riscv-plic-spec

  PLIC Specification

  137222045

• cameleon-rs/cameleon

  A safe, fast, and flexible library for GenICam compatible cameras

  Language:Rust88124919

• cfallin/waffle

  58896

• fe-lang/sonatina

  Language:Rust477127

• rust-lang/trait-system-refactor-initiative

  The Rustc Trait System Refactor Initiative

  22181360