Whycode Alternatives

Similar projects and alternatives to whycode

gcc

81 8,732 9.9 C whycode VS gcc
creusot

15 868 9.6 Rust whycode VS creusot

Discontinued Creusot helps you prove your code is correct in an automated fashion. [Moved to: https://github.com/creusot-rs/creusot] (by xldenis)
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
misra-rust

8 112 0.0 Rust whycode VS misra-rust

An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from the Rust compiler.
gcc

7 99 0.0 whycode VS gcc

Official Ada++ repository (by AdaPlusPlus)
sdlada

7 1 8.4 Ada whycode VS sdlada

Ada 2022 bindings to SDL 2 - Don't STAR this, this is my personal repo which I may delete over using the AGF one.
advent_of_code

5 0 0.0 Ada whycode VS advent_of_code

This repository contains solutions to Advent of Code challenges (by joakim-strandberg)
orenda

4 15 1.7 CMake whycode VS orenda

An experiment in language design and compiler building.
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Welcome

3 126 1.6 whycode VS Welcome

Welcome to AeroRust- a Rust 🦀 in Aerospace 🚀 community & working group
app-template

2 289 5.5 Rust whycode VS app-template

Quickly set up a `probe-rs` + `defmt` + `flip-link` embedded project
rust-verification-tools

2 241 3.1 Rust whycode VS rust-verification-tools

Discontinued RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
rumble

1 139 10.0 Rust whycode VS rumble

Rust Bluetooth Low Energy (BLE) central module library (by mwylde)
rubble

1 388 4.6 Rust whycode VS rubble

Discontinued (going to be a) BLE stack for embedded Rust
wayland-ada

1 6 0.0 Ada whycode VS wayland-ada

Ada 2012 bindings for Wayland

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better whycode alternative or higher similarity.

Suggest an alternative to whycode

whycode reviews and mentions

Posts with mentions or reviews of whycode. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-02-02.

AdaCore and Ferrous Systems Joining Forces to Support Rust
14 projects | news.ycombinator.com | 2 Feb 2022

I already do, my tool produces WhyML modules from Rust crates. But we can leverage Rust's ownership typing to drastically reduce proof obligations related to pointers and memory.
Incidentally, I've started working on a VSCode frontend to Why3 to replace the existing GTK one (https://github.com/xldenis/whycode), I'm currently rewriting the PoC as an LSP extension.