Your standard library for metaprogramming (uses zig build-system)
a language for fast, portable data-parallel computation
A simple pleasant build system in Python.
JavaScript syntax highlighter with language auto-detection and zero dependencies.
HedgeDoc - Ideas grow better together
A markdown based documentation system for style guides.
A list of awesome lean4 projects. Feel free to add your project.
1 capture since 2026-06-09
CMakeLists.txt
· c-cpp · 1 dependencies
benchmark/CMakeLists.txt
· c-cpp · 3 dependencies
doc/CMakeLists.txt
· c-cpp · 1 dependencies
example/CMakeLists.txt
· c-cpp · 0 dependencies
test/CMakeLists.txt
· c-cpp · 0 dependencies
example/cmake_integration/CMakeLists.txt
· c-cpp · 1 dependencies
test/deploy/CMakeLists.txt
· c-cpp · 1 dependencies