8000 antoyo / Starred · GitHub
[go: up one dir, main page]

Skip to content
View antoyo's full-sized avatar
  • Québec
  • 13:22 (UTC -05:00)

Sponsors

Organizations

@gtk-rs

Block or report antoyo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A quick http server written in rust with 0 dependencies

Rust 75 7 Updated Jun 4, 2026
Rust 2 Updated Apr 26, 2026

CDCL(T) SMT Solver in Rust

Rust 2 Updated Sep 2, 2025

Experimental systems language with linear ownership, explicit capabilities, and Lean-checked proofs for supported code.

Shell 344 23 Updated Nov 6, 2026

TQL is a compile-time Rust ORM

Rust 389 15 Updated Jun 2, 2020

Bringing the Helix editor to the evil side

Rust 1,389 39 Updated Oct 28, 2026

Lightning Creations Compiler Frontend for various languages

Rust 116 8 Updated Dec 11, 2024

A post-modern modal text editor.

Rust 46,845 3,995 Updated Sep 29, 2026

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

Rust 2,443 78 Updated Jul 23, 2026

An experimental chessboard widget for Relm/GTK

Rust 65 7 Updated Oct 5, 2022
Rust 7 Updated Jan 25, 2018

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

Rust 1,230 78 Updated Oct 17, 2020

Cranelift code generator

2,508 199 Updated Jun 26, 2020

An extraction of the compiletest utility from the Rust compiler

Rust 235 63 Updated Feb 10, 2026

Vim-fork focused on extensibility and usability

Vim Script 103,409 7,374 Updated Nov 6, 2026

Cœur du projet technique de Zeste de Savoir

Python 280 161 Updated Nov 3, 2026

Ecere SDK

eC 2 Updated Jul 12, 2017
0