agra-uni-bremen Goto Github PK
Type: Organization
Type: Organization
Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
CAN Bus Shield - MCP2515&MCP2551
A library for concolic execution of RV32 instruction set simulators
Modified SymEx-VP with support for generating Concolic Line Coverage information
Constrained random stimuli generation for C++ and SystemC
Constrained random stimuli generation for C++ and SystemC
Doom classic port to lightweight RISCβV, for use with the AGRA riscv-vp
Fork of riscv-vp for the FDL21 paper: In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes
Generate an ISS for riscv-vp from a formal LibRISCV ISA model
A Guix channel for reproducible symbolic execution research
LLVM 11 compiler pass for HardBound instrumentation
Virtual Prototype with symbolic execution support and HardBound path analyzer
Artifacts of the paper: "Investigating Various Adder Architectures for Digital In-Memory Computing Using MAGIC-Based Memristor Design Style"
Visualization tool for Concolic Line Coverage
Extensible implementation of the RISC-V ISA based on FreeMonads
RISC-V Virtual Prototype with ISS generated from LibRISCV
Eclipse based IDE that focuses on natural language processing tasks
SpinalHDL based, FPGA Suitable RTL Implementation of RISC-V RV32. Aligned with RISC-V Virtual Prototype
An algorithm to merge RISC-V instruction sequences
Virtual Prototype for identifying Application Specific Hardware Optimization candidates
An interactive visualization engine for reversible circuits
Dynamic Information Flow Analysis with the RISC-V VP
FreeRTOS port for the RISC-V Virtual Prototype
RISC-V Metamorphic Testing
RISC-V Virtual Prototype
A declarative, efficient, and flexible JavaScript library for building user interfaces.
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. πππ
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google β€οΈ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.