forro

(★ 27)

A sample verifier for a toy language built on top of Boogie

forro Latest Version Download

Download Latest Version (.zip)

Today's picks

ant-design ★ 99,135

An enterprise-class UI design language and React UI library

TypeScript
HelloGitHub ★ 171,210

:octocat: 分享 GitHub 上有趣、入门级的开源项目。Share interesting, entry-level open source projects on Gi

Python
Ventoy ★ 78,865

A new bootable USB solution.

C
ghidra ★ 72,620

Ghidra is a software reverse engineering (SRE) framework

Java
ChinaTextbook ★ 79,814

所有小初高、大学PDF教材。

Roff
rust ★ 115,759

Empowering everyone to build reliable and efficient software.

Rust
// repository documentation