stefnotch

stefnotch

Geek Repo

Location:Austria

Github PK Tool:Github PK Tool


Organizations
FlaxEngine
tuwien2020

stefnotch's starred repositories

ImHex

๐Ÿ” A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Language:C++License:GPL-2.0Stargazers:45025Issues:485Issues:1186

bevy

A refreshingly simple data-driven game engine built in Rust

Language:RustLicense:Apache-2.0Stargazers:36221Issues:294Issues:5776

UniGetUI

UniGetUI: The Graphical Interface for your package managers. Could be terribly described as a package manager manager to manage your package managers

scryer-prolog

A modern Prolog implementation written mostly in Rust.

Language:RustLicense:BSD-3-ClauseStargazers:2055Issues:53Issues:1638

Vale

Compiler for the Vale programming language - http://vale.dev/

Language:ScalaLicense:Apache-2.0Stargazers:1786Issues:33Issues:365

ariadne

A fancy diagnostics & error reporting crate

Language:RustLicense:MITStargazers:1781Issues:10Issues:71

diamond-types

The world's fastest CRDT. WIP.

rust-gpu

๐Ÿ‰ Making Rust a first-class language and ecosystem for GPU shaders ๐Ÿšง

Language:RustLicense:Apache-2.0Stargazers:906Issues:15Issues:14

crabviz

๐Ÿฆ€ A LSP-based interative call graph generator

Language:RustLicense:Apache-2.0Stargazers:723Issues:9Issues:31

nfsserve

A Rust NFS Server implementation

Language:RustLicense:BSD-3-ClauseStargazers:602Issues:11Issues:14

flip

A tool for visualizing and communicating the errors in rendered images.

Language:C++License:NOASSERTIONStargazers:520Issues:13Issues:11

Auto-Vk-Toolkit

Getting serious about Vulkan development with this modern C++ framework, battle-tested in rapid prototyping, research, and teaching. Includes support for real-time ray tracing (RTX), serialization, and meshlets.

Language:C++License:NOASSERTIONStargazers:406Issues:17Issues:107

noita_entangled_worlds

True coop multiplayer mod for Noita.

Language:LuaLicense:Apache-2.0Stargazers:368Issues:8Issues:165

awesome-rust-formalized-reasoning

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

suffix

Fast suffix arrays for Rust (with Unicode support).

Language:RustLicense:UnlicenseStargazers:263Issues:9Issues:11

gg

GG - Gui for JJ

Language:RustLicense:Apache-2.0Stargazers:212Issues:9Issues:0

thunderdome

Arena type inspired by generational-arena

Language:RustLicense:Apache-2.0Stargazers:200Issues:4Issues:21

cargo-run-bin

Build, cache, and run CLI tools scoped in Cargo.toml rather than installing globally. Stop the version drifts across your team, keep it all in sync within your project!

Language:RustLicense:MITStargazers:189Issues:5Issues:15

iai-callgrind

High-precision and consistent benchmarking framework/harness for Rust

Language:RustLicense:Apache-2.0Stargazers:97Issues:3Issues:57

rubri

Rust interpreter that runs in the browser!

Language:TypeScriptLicense:MITStargazers:55Issues:2Issues:1

xtask-wasm

Customizable subcommands to build your Wasm projects using xtask.

Language:RustLicense:MITStargazers:50Issues:1Issues:19

trealla-js

Trealla Prolog for the web

Language:TypeScriptLicense:MITStargazers:42Issues:5Issues:24

glasgow

Language Server for WGSL (WebGPU Shading Language)

Language:RustLicense:MITStargazers:40Issues:5Issues:4

pulldown-latex

A pull parser for LaTeX parsing and mathml rendering.

Language:RustLicense:MITStargazers:27Issues:3Issues:7

burble

Blackrock User-Mode Bluetooth LE Library

Language:RustLicense:MPL-2.0Stargazers:27Issues:6Issues:11

vkdoc.net

Better Vulkan Documentation starts here

Language:VueLicense:MITStargazers:27Issues:2Issues:10

brightness

Get and set brightness

Language:RustLicense:0BSDStargazers:11Issues:4Issues:4

wgsl-linker

import / export for wgsl

Language:JavaScriptLicense:BSD-2-ClauseStargazers:5Issues:2Issues:1

wgslx

WebGPU Shading Language eXtended

Language:RustLicense:Apache-2.0Stargazers:3Issues:1Issues:0