jonasalaif Goto Github PK

blarney

Haskell library for hardware description

carbon

Verification-condition-generation-based verifier for the Viper intermediate verification language.

compressed_collections

Collections which transparently compress data to reduce memory usage

cvc5.rs

Rust bindings for the CVC5 solver.

flute

RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance

gloo

A modular toolkit for building fast, reliable Web applications and libraries with Rust and WASM

heroes_in_conference

mrs_project

Robot Chase, Mobile Robot Systems Group Project. By jf613, img26 and rs968

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

prusti-examples

Demo examples for Prusti

publish-crates

GitHub action to get easy publishing of Rust crates

riscy-ooo

RiscyOO: RISC-V Out-of-Order Processor

russol-alpha

A tool for synthesis of Rust code, very early prototype

russol-artifact

rust

Empowering everyone to build reliable and efficient software.

rust-playground

The Rust Playground

sigrok-infineon-swi

Primitive Sigrok SWI Decoder

silicon

Symbolic-execution-based verifier for the Viper intermediate verification language.

silver

Definition of the Viper intermediate verification language.

smt2utils

Libraries and tools for the SMT-LIB-2 standard.

suslik

Synthesis of Heap-Manipulating Programs from Separation Logic

tagged-pointer

Platform-independent space-efficient tagged pointers in Rust

trunk

Build, bundle & ship your Rust WASM application to the web.