c2ocaml

(★ 8)

c2ocaml - a source-to-source transformer to take C files into OCaml files compatible with lsee (a lightweight symbolic execution engine)

c2ocaml 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

superpowers ★ 275,436

실제로 작동하는 에이전틱 스킬 프레임워크 & 소프트웨어 개발 방법론.

Shell
TradingAgents ★ 99,131

TradingAgents: 멀티 에이전트 LLM 금융 트레이딩 프레임워크

Python
axios ★ 109,196

Promise based HTTP client for the browser and node.js

JavaScript
manim ★ 91,823

Animation engine for explanatory math videos

Python
CS-Notes ★ 185,343

:books: 기술 면접 필수 기초 지식, Leetcode, 컴퓨터 운영체제, 컴퓨터 네트워크, 시스템 디자인
ohmyzsh ★ 189,291

🙃 zsh 구성을 관리하기 위한, 활기찬 커뮤니티 기반(2,500명 이상의 기여자 참여)의 멋진 프레임워크입니다. 300개 이상의 선택형 플러그인(rails, g

Shell
// repository documentation