A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
-
Updated
Dec 1, 2025 - OCaml
#
functional-cpp
Here are 3 public repositories matching this topic...
Simple and surprisingly powerful currying implemented concisely in c++20
-
Updated
Sep 17, 2022 - C++
An attempt at some functional patterns with c++
-
Updated
Mar 18, 2019 - C++
Improve this page
Add a description, image, and links to the functional-cpp topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the functional-cpp topic, visit your repo's landing page and select "manage topics."