Pinned Repositories
5300_final
bog-helper
ckt_tools
Tools used to analyze Verilog circuits.
ckttools
dotfiles
easylock
huey
Control WS2812B LED strips through a Raspberry Pi via a website.
humilamotron
GroupMe bot for counting how many times somebody likes their own message.
sat_attack
A basic implementation of a SAT attack on logic locking.
lnestor's Repositories
lnestor/sat_attack
A basic implementation of a SAT attack on logic locking.
lnestor/5300_final
lnestor/bog-helper
lnestor/ckt_tools
Tools used to analyze Verilog circuits.
lnestor/ckttools
lnestor/dotfiles
lnestor/easylock
lnestor/huey
Control WS2812B LED strips through a Raspberry Pi via a website.
lnestor/humilamotron
GroupMe bot for counting how many times somebody likes their own message.
lnestor/dutchmen2023
lnestor/lnestor.github.io
lnestor/os-dev
lnestor/rspec-expectations
Provides a readable API to express expected outcomes of a code example
lnestor/rspec-support
Common code needed by the other RSpec gems. Not intended for direct use.
lnestor/sat_solver
A basic SAT solving implementation
lnestor/SevenSeasSmackdown
Game created for the Kenney Jam 2020