오픈 소스. 새로운 가능성.

Synth는 ARM Cortex-M/R, RISC-V RV32IMAC 및 AArch64를 대상으로 하는 AOT WebAssembly-to-native 컴파일러로, Rocq 기계화 정밀성 증명과 SMT 번역 검증을 제공하는 Apache-2.0 라이선스의 임베디드 중심 프로젝트입니다.

raylib은 비디오 게임 프로그래밍을 위한 단순하고 사용하기 쉬운 C 라이브러리로, 프로토타이핑, 교육 및 그래픽 애플리케이션에 이상적입니다.

rucc는 Rust로 작성된 초기 단계 최적화 C 컴파일러이며, README에 따르면 아직 C 코드를 컴파일하지 못합니다. M0와 M1은 작업공간, 체크된 레이어 규칙, 드라이버 골격, Linux/macOS/Windows CI, 전처리기를 포함합니다. 목표는 SQLite, PostgreSQL, Linux이며, SMT 검증 재작성 규칙, 포이즌 없는 SSA IR, e‑graph, 자체 인코딩 객체/DWARF를 사용합니다.

Capstone Engine은 순수 C로 작성된 오픈소스 디스어셈블리 프레임워크로, x86, ARM, AArch64, RISC-V, MIPS, PowerPC 등 20개 이상의 아키텍처를 지원합니다. 아키텍처 중립적인 깔끔한 API, 다중 언어 바인딩, 상세한 명령어 의미론을 제공하여 바이너리 분석과 리버스 엔지니어링에 사용됩니다.