Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

Tiny cross-platform webview library for C/C++. Uses WebKit (GTK/Cocoa) and Edge WebView2 (Windows).

The Z3 Theorem Prover

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.

The Lobster Programming Language

This repo contains LLILC, an LLVM based compiler for .NET Core. It includes a set of cross-platform .NET code generation tools that enables compilation of MSIL byte code to LLVM supported platforms.

A internet radio and bluetooth speaker project for the Espressif ESP32

Keyvi - a key value index that powers Cliqz search engine. It is an in-memory FST-based data structure highly optimized for size and lookup performance.

ELINA: ETH LIbrary for Numerical Analysis

Experiments with JIT compilation

Kerf (Kerf2) is a columnar tick database and time-series language for Linux/OSX/BSD/iOS/Android. It is written in C++ and natively speaks JSON and SQL. Kerf can be used for trading platforms, feedh…