Pinned Repositories
formbricks
Open Source Survey Platform
contractgen
Automatic Inference of Hardware-Software Contracts for RISC-V Processors
symbiyosys-docker
WebRemote
Run a local HTTPS Server on a Wemos D1 (ESP8266) to control IR Devices
riscv-contract-synthesis
A toolchain to synthesize leakage contracts automatically for RISC-V open-source processors.
ivy-wallet
Ivy Wallet is an open-source money manager app for Android, no longer maintained. You can fork the code or download the final version from Google Play.
gdnmhr's Repositories
gdnmhr/contractgen
Automatic Inference of Hardware-Software Contracts for RISC-V Processors
gdnmhr/symbiyosys-docker
gdnmhr/WebRemote
Run a local HTTPS Server on a Wemos D1 (ESP8266) to control IR Devices