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: about 1 year 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 | 91 |
| kassane/libvlc-zig | Provides a set of bindings for the VLC media player's libvlc library written in Zig. | 18 |
| kassane/openssl-zig | A TLS/SSL and crypto library implemented in C using Zig | 12 |
| kassane/winpthreads-zigbuild | A library providing 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 | 384 |
| kassane/hana | A standard library for metaprogramming in C++ | 1 |
 natecraddock/ziglua | A Zig library providing bindings to the Lua C API | 290 |
 lun-4/zigdig | A Zig programming language library providing basic DNS functionality | 34 |
 karlseguin/websocket.zig | A Zig library implementing a WebSocket server | 314 |
| kassane/wolfssl | A lightweight SSL/TLS library designed for resource-constrained environments with small size and feature set. | 5 |
 vrischmann/zig-sqlite | A wrapper around sqlite's C API to simplify usage in Zig programming language | 396 |
 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 |