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

PlatformIO Core는 임베디드 소프트웨어 개발을 위한 오픈소스 명령줄 도구 모음으로, 마이크로컨트롤러 프로젝트에 멀티 플랫폼 빌드 시스템, 라이브러리 관리, 디버깅, 단위 테스트, 정적 코드 분석을 제공합니다.

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

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

Docker 또는 Podman을 사용하여 Rust 크레이트를 교차 컴파일하고 교차 테스트할 수 있게 해주는 "설정 제로" 도구입니다.

Takibi는 정제 타입(refinement types)과 어파인 소유권(affine ownership)을 사용하여 커널 런타임 오류를 컴파일 타임 오류로 전환하도록 설계된 연구용 시스템 언어이자 Linux-ABI 호환 모놀리틱 커널입니다.