-
trustfall-rustdoc-adapter Public
Forked from obi1kenobi/trustfall-rustdoc-adapterTrustfall adapter for querying rustdoc
Rust Apache License 2.0 UpdatedOct 5, 2024 -
rust-executors Public
Forked from Bathtor/rust-executorsA library with task executors for Rust
Rust MIT License UpdatedSep 15, 2022 -
rayon Public
Forked from rayon-rs/rayonRayon: A data parallelism library for Rust
Rust Apache License 2.0 UpdatedSep 12, 2022 -
wgpu Public
Forked from gfx-rs/wgpuNative WebGPU implementation based on gfx-hal
-
shaderc-rs Public
Forked from google/shaderc-rsRust bindings for the shaderc library.
-
egui_wgpu_backend Public
Forked from hasenbanck/egui_wgpu_backendBackend code to use egui with wgpu.
Rust Apache License 2.0 UpdatedAug 23, 2022 -
wgpu-profiler Public
Forked from Imberflur/wgpu-profilerSimple profiler scopes for wgpu using timer queries
Rust Apache License 2.0 UpdatedAug 23, 2022 -
clock-bound Public
Forked from aws/clock-boundUsed to generate and compare bounded timestamps.
Rust UpdatedNov 2, 2021 -
wuffs Public
Forked from google/wuffsWrangling Untrusted File Formats Safely
C Apache License 2.0 UpdatedApr 6, 2021 -
vek Public
Forked from yoanlcq/vekGeneric 2D-3D math swiss army knife for game engines, with SIMD support and focus on convenience.
Rust Apache License 2.0 UpdatedMar 3, 2021 -
Airshipper Public
Forked from veloren/AirshipperA cross-platform Veloren launcher.
Rust GNU General Public License v3.0 UpdatedOct 3, 2020 -
-
guillotiere Public
Forked from nical/guillotiereA dynamic texture atlas allocator with fast deallocation and rectangle coalescing.
Rust MIT License UpdatedJun 5, 2020 -
msgbox-rs Public
Forked from bekker/msgbox-rsSimple, cross-platform message box GUI library
Rust UpdatedOct 5, 2019 -
rust-gc Public
WIP: integrating tracing GC and reference counting in (mostly safe?) Rust
Rust UpdatedJul 29, 2019 -
rawact Public
Forked from sokra/rawact[POC] A babel plugin which compiles React.js components into native DOM instructions to eliminate the need for the react library at runtime.
JavaScript MIT License UpdatedNov 9, 2018 -
Coq-Equations Public
Forked from mattam82/Coq-EquationsA plugin for Coq to add dependent pattern-matching.
OCaml GNU Lesser General Public License v2.1 UpdatedOct 23, 2018 -
UniMath Public
Forked from UniMath/UniMathThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedOct 16, 2018 -
dependent_traits Public
A dependent type system built entirely in Rust's trait system (WIP).
-
vartrix Public
Forked from 10XGenomics/vartrixSingle-Cell Genotyping Tool
Rust MIT License UpdatedSep 20, 2018 -
-
-
-
Dark-Souls-100-Percent-Tracker Public
Forked from Kahmul/Dark-Souls-100-Percent-TrackerTracker made to keep track of all the objectives in a Dark Souls 100% speedrun
Visual Basic UpdatedJul 18, 2018 -
-
iotedge Public
Forked from Azure/iotedgeThe IoT Edge OSS project
C# MIT License UpdatedJun 27, 2018 -
kravanenn Public
Forked from ppedrot/kravanennA set of tools for Coq written in Rust
Rust UpdatedJun 3, 2018 -
tetris-demo Public
Forked from da-x/tetris-demoA Tetris example written in Rust using Piston
Rust MIT License UpdatedMay 28, 2018 -
puzzles Public
Forked from octonion/puzzlesCode for a variety of fun puzzle problems.
{{ message }}