George Rennie's repositories
PIO_Builder
Single header C++14 library for runtime generation of RPi RP2040 PIO programs
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
advent_of_code_2022
advent_of_code_2022
AES-SCA
Power side channel analysis of AES-128 on AVR
aiger
AIGER And-Inverter-Graph Library
alchitry_cu_helpers
A collection of verilog code and pin constraints to aid development for the Alchitry Cu
AppNote-011
Tabby CAD Introduction and FAQs for Formal Use
Ben-Eater-8-Bit-Computer
Building the Ben Eater 8 Bit Computer in Verilog for the Alchitry Cu
blog
Personal blog
clique
Verify leakage contracts on a subset of C with Rosette
creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
dcEmb
dcEmb, the Embecosm Dynamic Causal Modelling library
dcEmb-examples
Examples using the dcEmb library
esbmc
The efficient SMT-based bounded model checker
esp-adf
Espressif Audio Development Framework
ESP8266_RTOS_SDK
Latest ESP8266 SDK based on FreeRTOS, esp-idf style.
ESPAsyncWebServer
Async Web Server for ESP8266 and ESP32
meowc
Meow Checker
minisat
A minimalistic and high-performance SAT solver
ohmyzsh
🙃 A delightful community-driven (with 2,000+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
opentitan
OpenTitan: Open source silicon root of trust
smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
SymbiYosys
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
tinytapeout-verilog-async-arb
Latch based arbiter for TinyTapeout
vim-svelte
Vim syntax highlighting and indentation for Svelte 3 components.
yosys
Yosys Open SYnthesis Suite