lean4-zig
Math library
Provides C API bindings for Lean4's mathematical framework
Zig bindings for Lean4
8 stars
0 watching
1 forks
Language: Zig
last commit: 10 months ago
Linked from 1 awesome list
ffi-bindingsleanlean-languagelean4zigziglang
catdevnull/awesome-zigRelated projects:
| Repository | Description | Stars |
|---|---|---|
| kassane/qml_zig | Bindings between Zig programming language and QML library | 87 |
| kassane/libvlc-zig | Provides a set of bindings for the VLC media player's libvlc library written in Zig. | 17 |
| kassane/openssl-zig | A TLS/SSL and crypto library implemented in C using Zig | 12 |
| kassane/winpthreads-zigbuild | Provides POSIX threading APIs for mingw-w64 on Windows. | 12 |
 zigwasm/wasm-zig | C API bindings for WebAssembly runtime | 27 |
 floooh/sokol-zig | Zig bindings for the sokol 3D graphics library | 373 |
| kassane/hana | A standard library for metaprogramming in C++ | 1 |
 natecraddock/ziglua | A Zig library providing bindings to the Lua C API | 273 |
 lun-4/zigdig | A Zig programming language library providing basic DNS functionality | 33 |
 karlseguin/websocket.zig | A Zig library implementing a WebSocket server | 305 |
| kassane/wolfssl | An embedded SSL/TLS library for resource-constrained environments | 5 |
 vrischmann/zig-sqlite | A thin wrapper around sqlite's C API for the Zig programming language. | 378 |
 leroycep/sqlite-zig | Provides C API bindings to make the SQLite library more compatible with Zig programming language | 63 |
 kubkon/zigkit | Native bindings for low-level macOS frameworks | 69 |