Jaddison011/C4EventB

Code generation project of C code from Event-B formal models. Including C metamodel files, C XText files, and Event-B to C translation rules

/ 100

Experimental

No commits in the last 6 months.

No License Stale 6m No Package No Dependents

Maintenance 0 / 25

Adoption 1 / 25

Maturity 8 / 25

Community 12 / 25

Stars

Forks

Language

Java

License

—

Category

Last pushed

May 09, 2023

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/Jaddison011/C4EventB"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

Dav1dde/glad

Multi-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator based on the official specs.

Aleph-Alpha/ts-rs

Generate TypeScript bindings from Rust types

awtkns/fastapi-crudrouter

A dynamic FastAPI router that automatically creates CRUD routes for your models

apollographql/apollo-tooling

✏️ Apollo CLI for client tooling (Mostly replaced by Rover)

mmcloughlin/avo

Generate x86 Assembly with Go