LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

C

lean-bindgen

Lean4 C Binding Generation

CEmerging

Stars

7

Forks

—

Contributors

1

Last push

1mo ago

Recent commits

Latest commits.

doc: detailed DSL guide with line-by-line explanations
89ac4d7Kiran Gopinathan1mo ago
readme: getting started tutorial with verified commands
3a38dd1Kiran Gopinathan1mo ago
examples: self-contained starter project
8c691f2Kiran Gopinathan1mo ago
dsl: c_bindings macro for concise binding declarations
e218c9eKiran Gopinathan1mo ago
codegen: variadic builder support, DSL macro end-to-end
fb27442Kiran Gopinathan2mo ago

codegen: constants, preprocessor support, mutable structs

fecb74fKiran Gopinathan2mo ago

codegen: zero-param fix, keyword escaping, cleango + zlib examples

8f46d5bKiran Gopinathan2mo ago

codegen: safety hardening, generality fixes, HashMap lookups

73c4470Kiran Gopinathan2mo ago

Top contributors

Builders behind this project.