synthpulseengine
신규Synth는 ARM Cortex-M/R, RISC-V RV32IMAC 및 AArch64를 대상으로 하는 AOT WebAssembly-to-native 컴파일러로, Rocq 기계화 정밀성 증명과 SMT 번역 검증을 제공하는 Apache-2.0 라이선스의 임베디드 중심 프로젝트입니다.
OPEN SOURCE, OPEN TO EVERYONE
오픈 소스. 새로운 가능성.
우수한 오픈 소스 프로젝트를 발견하고, 익명으로 프로젝트를 제출하며, 내 프로젝트를 신청해 편집하세요.
✳편집자 선정 · 좋은 오픈 소스 발견4109발견됨
호기심으로 오픈 소스의 세계를 발견하세요.
THE FIRST COLLECTIONTopic: pulseengine清除