Christian Poveda Ruiz's repositories

pijama_legacy

A functional programming language

Language:RustLicense:MITStargazers:47Issues:1Issues:42

sire

A symbolic evaluator for MIR

librarian

A tiny library manager for digital documents

Language:RustLicense:Apache-2.0Stargazers:10Issues:1Issues:9
Language:RustLicense:GPL-2.0Stargazers:7Issues:5Issues:0
Language:LuaStargazers:2Issues:0Issues:1
Language:RustLicense:Apache-2.0Stargazers:1Issues:1Issues:0
Language:RustStargazers:1Issues:0Issues:0

domain

A gnome search provider to index documents

Language:GoLicense:NOASSERTIONStargazers:1Issues:1Issues:1

pacman

Porting http://ai.berkeley.edu/project_overview.html to Rust

Language:RustLicense:MITStargazers:1Issues:0Issues:0
Language:RustStargazers:1Issues:0Issues:0
Language:RustStargazers:0Issues:1Issues:0
Language:GoStargazers:0Issues:1Issues:0

beheader

A C preprocessor written in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:RustStargazers:0Issues:0Issues:0
Language:TypstStargazers:0Issues:0Issues:0

cyclonedx-rust-cargo

Creates CycloneDX Software Bill of Materials (SBOM) from Rust (Cargo) projects

License:Apache-2.0Stargazers:0Issues:0Issues:0

miri

An interpreter for Rust's mid-level intermediate representation

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

rustls

A modern TLS library in Rust

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

team

Rust teams structure

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:RustLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0