Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings
@interpretica-io

Interpretica

Building tools that empower software development

We research unresearchable.

At Interpretica, we love challenges. We like researching potentially impactful areas.

Our areas of expertise:

  • Static analysis.
  • Blockchain, including zk systems.
  • Compilers, toolchains.

Open-source.

We are publishing all projects that we may share. That's our commitment to the open-source community.

Stay tuned for updates!

Projects & organizations

Our fleet of organizations:

Minor projects:

Popular repositories Loading

  1. acsl-grammar acsl-grammar Public

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

    ANTLR 4

  2. CLI11 CLI11 Public

    Forked from CLIUtils/CLI11

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

    C++ 1

  3. sphinx_redactor_theme sphinx_redactor_theme Public

    Forked from kylekeppler/sphinx_redactor_theme

    Redactor Sphinx Theme

    CSS 1

  4. .github .github Public

    1

  5. build-dependencies build-dependencies Public

    Build dependencies

    Shell 1

  6. filesystem filesystem Public

    Forked from gulrak/filesystem

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

    C++ 1

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 23 repositories

Top languages

Loading…

Most used topics

Loading…

Morty Proxy This is a proxified and sanitized view of the page, visit original site.