Projects - Active

C, C#, Python, Shell

bflat-ts — Bflat Test Suite

Development ToolsTestingActiveExternalOpen source

Test suite for bflat, the ahead-of-time compiler that turns C# into small, self-contained native binaries. Built at Nethermind and run as part of their zero-knowledge testing environment.

C#, C, C++, Assembly

libziskos for bflat

Development ToolsActiveHighlightExternalOpen source

Ziskos for bflat

C#, C, C++

bflat compiler for zkVM

Development ToolsActiveHighlightExternalOpen source

Compile C# applications into fully native riscv64 binaries.

C, C++

.NET builds for riscv64 (zkVM)

Development ToolsActiveHighlightExternalOpen source

.NET distribution for fully native zkVM riscv64 compilation.

Bash, Python

Static analysis testing ensemble

Static analysisTestingActive

Testing static analysis projects is hard. This project aims to serve as a bridge between Continuous Integration (CI) and Verification Example Framework (VEF).

C, C++, RuC, Python

Verification Example Framework

Static analysisTestingActiveOpen source

The growing list of examples for C/C++/RuC analysis & verification. To be open sourced.

C, C++

Analysis Server Protocol

Static analysisActiveHighlightOpen source

The protocol that it is used to unite static analyzers and IDEs, not only for IDE tasks. Inspired by language server protocol

C, C++, Python, Bash, Rust

Visao - a static analysis framework

Static analysisActiveHighlightOpen source

A sophisticated tool for finding bugs and proving their absence in C/C++/Go code, this project aims at making analysis easy and worth to apply.

ANTLR

type-grammar

Static analysisActiveOpen source

An attempt to make a unified ANTLR grammar for C/C++ types