Descubra projetos open source de qualidade, envie projetos anonimamente e reivindique e edite seu próprio projeto.
Um pouco de curiosidade. Um mundo de código aberto.
THE FIRST COLLECTIONSynth é um compilador ahead-of-time de WebAssembly para nativo visando ARM Cortex-M/R, RISC-V RV32IMAC e AArch64, com provas de correção mecanizadas em Rocq e validação de tradução SMT. Pré-lançamento, focado em sistemas embarcados, Apache-2.0.
rucc é um compilador otimizador C em fase inicial, escrito em Rust. A meta é compilar SQLite, PostgreSQL e Linux sem modificações, usando regras de reescrita verificadas por SMT, IR SSA sem poison, e-graphs e geração nativa de objetos/DWARF.
