Pinned Repositories
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
dotfiles
My dotfiles
Matt_Venn_q3k_TPM2137_Solution
pico_bootsel_reset
Code to allow the RPi Pico to be put into bootsel when already running by pressing the button
PIO_Builder
Single header C++14 library for runtime generation of RPi RP2040 PIO programs
georgerennie's Repositories
georgerennie/PIO_Builder
Single header C++14 library for runtime generation of RPi RP2040 PIO programs
georgerennie/Matt_Venn_q3k_TPM2137_Solution
georgerennie/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
georgerennie/advent_of_code_2022
advent_of_code_2022
georgerennie/AES-SCA
Power side channel analysis of AES-128 on AVR
georgerennie/aiger
AIGER And-Inverter-Graph Library
georgerennie/alchitry_cu_helpers
A collection of verilog code and pin constraints to aid development for the Alchitry Cu
georgerennie/AppNote-011
Tabby CAD Introduction and FAQs for Formal Use
georgerennie/Ben-Eater-8-Bit-Computer
Building the Ben Eater 8 Bit Computer in Verilog for the Alchitry Cu
georgerennie/blog
Personal blog
georgerennie/clique
Verify leakage contracts on a subset of C with Rosette
georgerennie/creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
georgerennie/d2
georgerennie/dcEmb
dcEmb, the Embecosm Dynamic Causal Modelling library
georgerennie/dcEmb-examples
Examples using the dcEmb library
georgerennie/esbmc
The efficient SMT-based bounded model checker
georgerennie/esp-adf
Espressif Audio Development Framework
georgerennie/ESP8266_RTOS_SDK
Latest ESP8266 SDK based on FreeRTOS, esp-idf style.
georgerennie/ESPAsyncWebServer
Async Web Server for ESP8266 and ESP32
georgerennie/meowc
Meow Checker
georgerennie/minisat
A minimalistic and high-performance SAT solver
georgerennie/mips_sim
georgerennie/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.
georgerennie/opentitan
OpenTitan: Open source silicon root of trust
georgerennie/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
georgerennie/SymbiYosys
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
georgerennie/tinytapeout-verilog-async-arb
Latch based arbiter for TinyTapeout
georgerennie/tinytapeout-wokwi-cd4518
georgerennie/vim-svelte
Vim syntax highlighting and indentation for Svelte 3 components.
georgerennie/yosys
Yosys Open SYnthesis Suite