lean4-zig
by kassane
Zig bindings for Lean4
AI summary
Math library
Provides C API bindings for Lean4's mathematical framework
- stars
- 8
- forks
- 1
- watching
- 0
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Zig-QML bindings
Bindings between Zig programming language and QML library
VLC bindings
Provides a set of bindings for the VLC media player's libvlc library written in Zig.
Crypto library
A TLS/SSL and crypto library implemented in C using Zig
POSIX threading library
A library providing POSIX threading APIs for mingw-w64 on Windows.
Wasm bindings
C API bindings for WebAssembly runtime
Graphics library
Zig bindings for the sokol 3D graphics library
Metaprogramming library
A standard library for metaprogramming in C++
Lua binding library
A Zig library providing bindings to the Lua C API
DNS client library
A Zig programming language library providing basic DNS functionality
WebSocket server
A Zig library implementing a WebSocket server
SSL library
A lightweight SSL/TLS library designed for resource-constrained environments with small size and feature set.
Database library
A wrapper around sqlite's C API to simplify usage in Zig programming language
Zig SQLite wrapper
Provides C API bindings to make the SQLite library more compatible with Zig programming language
macOS framework wrapper
Native bindings for low-level macOS frameworks
Featured in 1 awesome list
Each link jumps to the spot where the list mentions lean4-zig.
