CDCL(T) SMT Solver in Rust

Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.

TQL is a compile-time Rust ORM

Bringing the Helix editor to the evil side

Lightning Creations Compiler Frontend for various languages

A post-modern modal text editor.

Idiomatic, GTK+-based, GUI library, inspired by Elm, written in Rust

An experimental chessboard widget for Relm/GTK

DEPRECATED, use https://github.com/gtk-rs/gtk3-rs repository instead!

Cranelift code generator

An extraction of the compiletest utility from the Rust compiler

Vim-fork focused on extensibility and usability

Cœur du projet technique de Zeste de Savoir

Ecere SDK