Lists (1)
Sort Name ascending (A-Z)
Stars
3
results
for source starred repositories
Clear filter
Tiny cross-platform webview library for C/C++. Uses WebKit (GTK/Cocoa) and Edge WebView2 (Windows).
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada