marcfir

marcfir's Stars

• bevyengine/bevy

  A refreshingly simple data-driven game engine built in Rust

  Language:Rust35.1k2955.3k3.4k

• lapce/lapce

  Lightning-fast and Powerful Code Editor written in Rust

  Language:Rust34.2k1871.9k1k

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust32.6k852.4k875

• astral-sh/ruff

  An extremely fast Python linter and code formatter, written in Rust.

  Language:Rust30.9k765.1k1k

• leptos-rs/leptos

  Build fast web applications with Rust.

  Language:Rust15.8k86963623

• tikv/tikv

  Distributed transactional key-value database, originally created to complement TiDB

  Language:Rust15k3065.2k2.1k

• GraphiteEditor/Graphite

  2D vector & raster editor that melds traditional layers & tools with a modern node-based, non-destructive, procedural workflow.

  Language:Rust7.7k65804406

• mre/idiomatic-rust

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

  Language:Rust6.4k15624190

• farm-fe/farm

  Extremely fast Vite-compatible web build tool written in Rust

  Language:Rust4.8k22520158

• pest-parser/pest

  The Elegant Parser

  Language:Rust4.6k43459257

• cberner/redb

  An embedded key-value database in pure Rust

  Language:Rust3.2k27298143

• crate-ci/typos

  Source code spell checker

  Language:Rust2.5k1036196

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.1k231.6k83

• viperproject/prusti-dev

  A static verifier for Rust, based on the Viper verification infrastructure.

  Language:Rust1.6k21475106

• kevinmehall/rust-peg

  Parsing Expression Grammar (PEG) parser generator for Rust

  Language:Rust1.4k20222105

• creusot-rs/creusot

  Creusot helps you prove your code is correct in an automated fashion.

  Language:Rust1.1k2334651

• sched-ext/scx

  sched_ext schedulers and tools

  Language:C799197272

• dtolnay/indoc

  Indented document literals for Rust

  Language:Rust64743318

• ethercrab-rs/ethercrab

  EtherCAT master written in pure Rust

  Language:Rust242114719

• ucb-bar/berkeley-softfloat-3

  SoftFloat release 3

  Language:C2345415131

• 0x2a-42/lelwel

  Resilient LL(1) parser generator for Rust

  Language:Rust107221

• MontiCore/monticore

  MontiCore is a language workbench for an efficient development of domain-specific languages.

  Language:Java8015620

• Mubelotix/faster-pest

  A generator for high-performance Pest parsers, bringing your grammar to the next level

  Language:Rust42211

• robert-burger/libethercat

  EtherCAT master library. This library is used to build a deterministic fieldbus network with EtherCAT components.

  Language:C204154

• iswunistuttgart/isw_smb_diss

  LaTeX template for dissertations within the "Stuttgarter Maschinenbau"

  Language:TeX9474

• rust-formal-methods/rust-formal-methods.github.io

  9503

• iswunistuttgart/arithmetic-coding-int

  Comprehensive Analysis of Software-Based Fault Tolerance with Arithmetic Coding for Performant Encoding of Integer Calculations

  Language:C2300

• iswunistuttgart/rtnnigen

  PLC Library and Python Generator Converting Keras Models to Realtime Capable Structured Text

  Language:Python210