Vulkan bindings for Rust

Verified Rust for low-level systems code

Simple, keyboard-driven TUI for time-tracking that allows you to quickly add time blocks and automatically group time if same task was done in different sessions

Desktop client for onlinedi.vision.

🦖 Raptor: Realtime Abstracted Path Tree Observer

A fast framework for writing baseline compiler back-ends in C++

A rust super-resolution image upscaler

A list of open source games.

A collection of formalized statements of conjectures in Lean.

Adding support for the Rust language to the Linux kernel.

Hazard pointers in Rust.

The Open Problems Project

Comprehensive Web Platform for PCR Design, Quantitative PCR, Genotyping, LAMP, Gibson Assembly, Multiplex Tiling PCR panel design, and Repeat Analysis

Virtual (in silico) or electronic PCR (ePCR) primers/probes or microRNA or CRISPR RNA search against whole genome(s) or a list of chromosomes - search for potential matches of the specified primers…

VLC media player - All pull requests are ignored, please use MRs on https://code.videolan.org/videolan/vlc

List of projects that provide terminal user interfaces

An embedded key-value database in pure Rust

🛜 TUI for managing wifi on Linux

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Source code for the X Recommendation Algorithm

lock-free B+ tree

Work with prime numbers in const contexts. Prime generation, primality testing, prime counting, factorization, and more.

Rhai - An embedded scripting language for Rust.

A graph database written in rust

🧠 Cognitive load is what matters

Hyper-geometric computational causality for Rust

TUI Task Manager with vim-ish motions

A minimal tensor processing unit (TPU), inspired by Google's TPU V2 and V1

A fast and simple image viewer / editor for many operating systems