Universal markup converter

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

A modern proof language

🇪🇺 Wire back-end services

Haskell to VHDL/Verilog/SystemVerilog compiler

CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution