Data

Tools

Indexes

Applications

Experiments

Open Source Science

Updated 9 months ago

monaa • Rank 2.2 • Science 44%

A Tool for Timed Patten Matching with Automata-Based Acceleration

Updated 9 months ago

https://github.com/agra-uni-bremen/libriscv • Science 13%

Extensible implementation of the RISC-V ISA based on FreeMonads

Updated 9 months ago

awslabs/aws-lc-verification • Science 44%

This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.