Pinned Repositories
.github
acsl-grammar
ACSL grammar built up from official specification, with C grammar behind
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
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.
contract-grammar
Contract grammar
filesystem
An implementation of C++17 std::filesystem for C++11 /C++14/C++17/C++20 on Windows, macOS, Linux and FreeBSD.
json
JSON for Modern C++
sphinx_redactor_theme
Redactor Sphinx Theme
type-grammar
Type declarator grammar
Interpretica's Repositories
interpretica-io/acsl-grammar
ACSL grammar built up from official specification, with C grammar behind
interpretica-io/.github
interpretica-io/build-dependencies
Build dependencies
interpretica-io/CLI11
CLI11 is a command line parser for C++11 and beyond that provides a rich feature set with a simple and intuitive interface.
interpretica-io/filesystem
An implementation of C++17 std::filesystem for C++11 /C++14/C++17/C++20 on Windows, macOS, Linux and FreeBSD.
interpretica-io/sphinx_redactor_theme
Redactor Sphinx Theme
interpretica-io/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
interpretica-io/contract-grammar
Contract grammar
interpretica-io/googletest
GoogleTest - Google Testing and Mocking Framework
interpretica-io/json
JSON for Modern C++
interpretica-io/type-grammar
Type declarator grammar
interpretica-io/cpp_template
interpretica-io/discussions
interpretica-io/google-calendar-simple-api
Pythonic wrapper for the Google Calendar API
interpretica-io/libsarif
SARIF C++ implementation
interpretica-io/mongo-c-driver
The Official MongoDB driver for C language
interpretica-io/mongo-cxx-driver
C++ Driver for MongoDB
interpretica-io/nng
nanomsg-next-generation -- light-weight brokerless messaging
interpretica-io/symfpu
A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
interpretica-io/ttg
Trivial bash scripts for Telegram
interpretica-io/yaml-cpp
A YAML parser and emitter in C++