zwliew
Follow
Lists (1)
Stars
2D vector & raster editor that melds traditional layers & tools with a modern node-based, non-destructive, procedural workflow.
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs!
Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes
libSQL is a fork of SQLite that is both Open Source, and Open Contributions.
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
BusRouter SG: Singapore Bus Routes Explorer
Creusot helps you prove your code is correct in an automated fashion.
A static analyzer for Java, C, C++, and Objective-C
AI powered speech denoising and enhancement
Tricks you wish the Coq manual told you [maintainer=@tchajed]
A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
The financial transactions database designed for mission critical safety and performance.
C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!
Parsing Expression Grammar (PEG) parser generator for Rust
Cataclysm - Dark Days Ahead. A turn-based survival game set in a post-apocalyptic world.
An actively maintained, feature-rich and performance oriented, neofetch like system information tool.
mailio is a cross platform C++ library for MIME format and SMTP, POP3 and IMAP protocols. It is based on standard C++ 17 and Boost library.