VM for concurrent computing

N64 Game-Engine and Editor using libdragon & tiny3d

3D engine for the Nintendo DS. Now in Codeberg. https://codeberg.org/SkyLyrac/nitro-engine

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

Anime Girls Holding Programming Books

📚 The open-source, offline-first Notion, Obsidian & Confluence alternative. Advanced Markdown, multi-tenant teams, OIDC/SSO, and local S3 backups. Deploy in one command.

Empowering everyone to build reliable and efficient software.

Compile-time reflection API for developing robust procedural macros (proof of concept)

Attribute macro to require that the compiler prove a function can't ever panic

Forum for discussion about what unsafe code can and can't do

A modern fully featured C compiler.

New computer and new CPU PoC

The rustic MLIR bindings in Rust

Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

An Extensible Compiler IR Framework

Cours d'introduction à l'assembleur riscV - Introduction course to RiscV assembly in French

A language with dependent data and codata types

A very fast linker for Linux

Visualize Ownership and Lifetimes in Rust

Link-time initialization, destruction, scattered data collection macros for Rust

.NET Core library to create highly customized autounattend.xml files

A parser for Djot, a markdown-like language.

NZSL (Nazara Shading Language) repository - A shader language inspired by Rust and C++ which compiles to GLSL or SPIRV (without any additional dependency)

Thread-Per-Core async runtime for Rust

Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.

A reimplementation of the minecraft server in rust.

Empowering everyone to host fast and efficient Minecraft servers.

Compile-time type-checked builder derive

A massively parallel, optimal functional runtime in Rust