Nicholas-Baron

Nicholas-Baron's Stars

• rustdesk/rustdesk

  An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.

  Language:Rust77.5k4863.2k10.6k

• astral-sh/ruff

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

  Language:Rust33.7k815.7k1.1k

• fish-shell/fish-shell

  The user-friendly command line shell.

  Language:Rust26.4k2807.2k1.9k

• facebook/relay

  Relay is a JavaScript framework for building data-driven React applications.

  Language:Rust18.4k3262.3k1.8k

• PyO3/pyo3

  Rust bindings for the Python interpreter

  Language:Rust12.6k1021.4k777

• nvim-tree/nvim-tree.lua

  A file explorer tree for neovim written in lua

  Language:Lua7.3k251.6k611

• SerenityOS/jakt

  The Jakt Programming Language

  Language:C++2.8k38257239

• linuxmint/timeshift

  System restore tool for Linux. Creates filesystem snapshots using rsync+hardlinks, or BTRFS snapshots. Supports scheduled snapshots, multiple backup levels, and exclude filters. Snapshots can be restored while system is running or from Live CD/USB.

  Language:Vala2.6k1931692

• tlaplus/tlaplus

  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  Language:Java2.3k54820201

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.3k241.7k97

• jfecher/ante

  A safe, easy systems language

  Language:Rust1.9k3113881

• rust-lang/polonius

  Defines the Rust borrow checker.

  Language:Rust1.4k665174

• elonlit/Genesis

  God's actual programming language.

  Language:Java1.2k281718

• codemix/deprank

  Use PageRank to find the most important files in your codebase.

  Language:TypeScript8809520

• minirust/minirust

  A precise specification for "Rust lite / MIR plus"

  Language:Rust822165134

• R-O-C-K-E-T/Factorio-SAT

  Enhancing the Factorio experience with SAT solvers

  Language:Python676101319

• brandtbucher/specialist

  Visualize CPython's specializing, adaptive interpreter. :fire:

  Language:Python6418612

• sourcefrog/cargo-mutants

  :zombie: Inject bugs and see if your tests catch them!

  Language:Rust621620629

• mgaudet/CompilerJobs

  A listing of compiler, language and runtime teams for people looking for jobs in this area

  Language:HTML542296566

• jichu4n/basic_wm

  An example basic X11 window manager.

  Language:C++49717571

• PacktPublishing/Learn-LLVM-12

  Learn LLVM 12, published by Packt

  Language:C++4761217103

• voxelize/voxelize

  :mushroom: Build your own voxel games with Voxelize! Multiplayer, optimized, highly customizable full stack library.

  Language:TypeScript310141517

• sloganking/codevis

  Turns your code into one large image

  Language:Rust2232307

• RocketRace/setver

  Setaceous Versioning, the revolutionary new way to maintain software

  124521

• bus1/r-linux

  Capability-based Linux Runtime

  Language:Rust85412

• MarcusGrass/pgwm

  A minimal tiling x11 window manager

  Language:Rust71311

• pacak/hackerman

  Cargo hack manager

  Language:Rust63292

• al8n/memmapix-rs

  cross-platform Rust API for memory mapped IO

  Language:Rust41302

• mikecrowe/clang-tidy-fmt

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

  26302

• jonchisko/GameOfLife

  A simple Conway's Game of Life implementation with Rust and Bevy.

  Language:Rust11314