dmzimmerman

dmzimmerman's Stars

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.5k1815.6k1.5k

• insidegui/VirtualBuddy

  Virtualize macOS 12 and later on Apple Silicon, VirtualBuddy is a virtual machine GUI for macOS M1, M2, M3

  Language:Swift5.5k630141

• seemoo-lab/nexmon

  The C-based Firmware Patching Framework for Broadcom/Cypress WiFi Chips that enables Monitor Mode, Frame Injection and much more

  Language:C2.5k154513456

• pulp-platform/pulpino

  An open-source microcontroller system based on RISC-V

  Language:C91487393298

• JesusFreke/lalboard

  A 3D-printed keyboard inspired by the DataHand

  Language:Python849451561

• openzfsonosx/zfs

  OpenZFS on OS X

  Language:C8236670072

• ratgdo/esphome-ratgdo

  ratgdo for ESPHome

  Language:C++36632225112

• Auntie-Player/apple-tv

  A proof of concept Apple TV app to access on demand programmes from the BBC.

  Language:Objective-C36019865

• ratgdo/homekit-ratgdo

  A native HomeKit implementation of a Security+ 2.0 garage door controller based on ratgdo hardware

  Language:C++2173314321

• cbreak-black/ZetaWatch

  ZFS OSX Menu Bar widget

  Language:Objective-C++14593111

• dodohand/dodohand

  Language:C11429111

• ratgdo/mqtt-ratgdo

  ratgdo via mqtt

  Language:C++87199220

• explosivo22/rinnaicontrolr-ha

  Rinnai Control-R integration for Home Assistant

  Language:Python5611474

• whyrusleeping/ipns-pub

  a command line tool to publish ipns entries using a passed in private key

  Language:Go50756

• FreeAndFair/ColoradoRLA

  Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.

  Language:Java21105028

• rmitache/OpenConfigurator

  Open source product configuration based on visual feature models and Z3 SMT solver for providing solutions

  Language:JavaScript10301