Projects - Development Tools
| Filter: | All projects | Highlights | Active | Commercial/external |
| Domains: | Static analysis | Testing | Cybersecurity | Reverse-engineering | Development Tools | Operating systems & Embedded | Infrastructure |
| Platforms: | Windows | Linux | Mac | WM | WP7 | WP8 | ELFPack | Sony Ericsson |
| CPU: | ARM | ARM64 | X86_64 | RISC-V (32 bit) | RISC-V (64 bit) | MIPS |
| Statistics: | ANTLR (1) | Assembler (14) | Assembly (1) | Bash (5) | C (93) | C# (32) | C++ (94) | Go (2) | Java (2) | Lua (2) | Python (11) | RuC (1) | Ruby (1) | Rust (11) | Shell (1) | TeX (1 + 15) | VB.NET (7) |
bflat-ts — Bflat Test SuiteDevelopment Tools, TestingActiveExternalOpen-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.
libziskos for bflatDevelopment ToolsActiveHighlightsExternalOpen-source
Ziskos for bflat
bflat compiler for zkVMDevelopment ToolsActiveHighlightsExternalOpen-source
Compile C# applications into fully native riscv64 binaries.
.NET builds for riscv64 (zkVM)Development ToolsActiveHighlightsExternalOpen-source
.NET distribution for fully native zkVM riscv64 compilation.
.NET builds for riscv32 (zkVM)Development ToolsActiveHighlightsExternal
.NET distribution for fully native zkVM riscv32 compilation.
ARM64 builds for the VPN clientDevelopment Tools, Operating systems & EmbeddedExternal
ARM64 builds for the VPN client.
Secure build system for the VPN clientDevelopment Tools, Operating systems & EmbeddedExternal
Software supply chain-secure build system for the VPN client.
CastDevelopment ToolsOpen-source
Convert compile_commands.json to Atmel Studio projects
Improvements in RuC languageDevelopment 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.