Interpretica

acsl-grammar

ACSL grammar built up from official specification, with C grammar behind

.github

build-dependencies

Build dependencies

CLI11

CLI11 is a command line parser for C++11 and beyond that provides a rich feature set with a simple and intuitive interface.

filesystem

An implementation of C++17 std::filesystem for C++11 /C++14/C++17/C++20 on Windows, macOS, Linux and FreeBSD.

sphinx_redactor_theme

Redactor Sphinx Theme

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

contract-grammar

Contract grammar

googletest

GoogleTest - Google Testing and Mocking Framework

json

JSON for Modern C++

type-grammar

Type declarator grammar

cpp_template

discussions

google-calendar-simple-api

Pythonic wrapper for the Google Calendar API

libsarif

SARIF C++ implementation

mongo-c-driver

The Official MongoDB driver for C language

mongo-cxx-driver

C++ Driver for MongoDB

nng

nanomsg-next-generation -- light-weight brokerless messaging

symfpu

A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point

ttg

Trivial bash scripts for Telegram

yaml-cpp

A YAML parser and emitter in C++