DanielBelow

DanielBelow's Stars

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.2k89

• sourcefrog/cargo-mutants

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

  Language:Rust55827

• rust-lang/miri

  An interpreter for Rust's mid-level intermediate representation

  Language:Rust4.4k340

• zkat/miette

  Fancy extension for std::error::Error with pretty, detailed diagnostic printing.

  Language:Rust2k114

• munificent/craftinginterpreters

  Repository for the book "Crafting Interpreters"

  Language:HTML8.9k1k

• xivintheshell/xivintheshell

  FFXIV in the Shell (FFXIV job simulators & rotation planners)

  Language:TypeScript1618

• xivanalysis/xivanalysis

  Automated performance analysis and suggestion platform for Final Fantasy XIV

  Language:TypeScript363214

• controlflow/resharper-heapview

  ReSharper Heap Allocations Viewer plugin

  Language:C#30428

• Tookmund/Swapspace

  A fork of Jeroen T. Vermeulen's excellent dynamic swap space manager

  Language:C13513

• casey/just

  🤖 Just a command runner

  Language:Rust21k459

• LGUG2Z/komorebi

  A tiling window manager for Windows 🍉

  Language:Rust9.2k187

• JetBrains/ideavim

  IdeaVim – A Vim engine for JetBrains IDEs

  Language:Kotlin9.2k749

• microsoft/inshellisense

  IDE style command line auto complete

  Language:TypeScript8.4k188

• typesafegithub/github-workflows-kt

  Authoring GitHub Actions workflows in Kotlin. You won't go back to YAML!

  Language:Kotlin51924

• crosire/reshade

  A generic post-processing injector for games and video software.

  Language:C++4.1k546

• gobanos/cargo-aoc

  Language:Rust43747

• Timendus/chip8-test-suite

  A collection of ROM images with tests that will aid you in developing your own CHIP-8, SUPER-CHIP or XO-CHIP interpreter (or "emulator")

  Language:Roff3507

• skrysmanski/windows-pc-keyboard-layout-mac

  Deutsches Windows-PC-Tastaturlayout für macOS // German Windows PC keyboard layout for macOS

  Language:Shell10712

• jidicula/clang-format-action

  GitHub Action for clang-format checking

  Language:C9831

• SerenityOS/serenity

  The Serenity Operating System 🐞

  Language:C++30.6k3.2k

• rui314/setup-mold

  A GitHub Action to install the mold linker

  11510

• ccache/ccache

  ccache – a fast compiler cache

  Language:C++2.3k496

• mikael-s-persson/templight

  Templight is a Clang-based tool to profile the time and memory consumption of template instantiations and to perform interactive debugging sessions to gain introspection into the template instantiation process.

  Language:C++72641

• facebookarchive/BOLT

  Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries

  2.5k178

• rui314/mold

  Mold: A Modern Linker 🦠

  Language:C++14.3k469

• icza/scelight

  The source code of the Scelight project with all its modules.

  Language:Java12319

• icza/sc2gears

  The COMPLETE (!) source code of the Sc2gears universe (Sc2gears app + Sc2gears Database + web-based parsing engine - bundled in an Eclipse project).

  Language:Java336

• pixeltris/TwitchAdSolutions

  Language:JavaScript7.9k450

• root-project/cling

  The cling C++ interpreter

  Language:C++3.5k270

• ecognize-hub/ecognize

  A web application for environmental and wildlife crime & issue reporting

  Language:JavaScript1