Projects - Development Tools

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.

Python

Cast

Development ToolsOpen source

Convert compile_commands.json to Atmel Studio projects

C

Improvements in RuC language

Development ToolsOpen source

RuC is a research language created to resolve issues in C languages. My role in it is in consulting of project members and occasional fixes.