Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

Rust implementation of the wayland protocol (client and server).

A lock-free, read-optimized, concurrency primitive.

Fast web applications through dynamic, partially-stateful dataflow

Data-oriented and data-driven game engine written in Rust

LaTeX source of the proposals

Implementation of P1386

A port of FreeRTOS to the raspberry pi 2B. With USB+Ethernet+TCP/IP.

[maintenance mode] A low-overhead Vulkan-like GPU API for Rust.

a toolkit for developing user interfaces with openGL

An experiment in using literate programming to write a static analysis tool in Rust

Parse BNF grammar definitions

The open-source, cross-platform API client for GraphQL, REST, WebSockets, SSE and gRPC. With Cloud, Local and Git storage.

A tiny OS windowing and GUI toolkit library for MacOS and Rust.

Rust bindings for webview, a tiny cross-platform library to render web-based GUIs for desktop applications

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

A utf8 text rope for manipulating and editing large texts.

A static, type inferred and embeddable language written in Rust.

mawww's experiment for a better code editor

OpenCL-powered additive GPU synthesizer to mimic the sonic complexity of real stringed instruments

Helper crate for creating VST audio plugins easily

LR(1) parser generator for Rust

Mirror of https://gitlab.redox-os.org/redox-os/redox

Writing an OS in Rust

Rust implementation of gRPC

Structured Secure Streams - a successor to SST

Jargon from the functional programming world in simple terms!

Source-to-Source Debuggable Derivatives in Pure Python

Flight rules for git