#
Starred repositories
Minimal reproduction of DeepSeek R1-Zero
nealmcb / SEAL
Forked from hackerfactor/SEALSecure Evidence Attribution Label (SEAL)
1
Updated Feb 15, 2025
STAR Voting is an upgrade to our current way of voting that allows voters to score candidates from 0 to 5. Ultimately, STAR Voting elects candidates who better represent the whole of the electorate…
mfkiwl / RaySAR
Forked from StefanJAuer/RaySARRaySAR is a 3D synthetic aperture radar (SAR) simulator which enables to generate SAR image layers related to detailed 3D object models. Moreover, it enables one to localize the 3D positions and su…
Provide evidence for provenance of paper ballots by publishing hashes of images of the ballots during scanning
STV vote counting for various actual jurisdictions.
A terminal application to view, tail, merge, and search log files (plus JSONL).
GNOME Shell extension exposing a D-Bus interface to activate the window with the given title
DominikPeters / openstv-py3
Forked from Conservatory/openstvVersion that works with python3
Code for developing RLA configurations for (currently) 2 seat STV elections
Streamlit — A faster way to build and share data apps.
A murder has been a committed in ML City at the Pandas Express! To find out whodunit you will need to utilize your new command line, git, and Jupyter notebooks skills.
A feature-rich command-line audio/video downloader
Python code for validating the matching conditions of the hat aperiodic monotile
Authenticate and interact with Xiaomi devices over BLE
pvvx / ATC_MiThermometer
Forked from atc1441/ATC_MiThermometerCustom firmware for the Xiaomi Thermometers and Telink Flasher
This program illustrates and tests for the DVSorder vulnerability
Download an entire website from the Wayback Machine.
Introduction to Autonomous Robots
🎲 A Distributed Randomness Beacon Daemon - Go implementation
Basic Python library to create a NIST Common Data Formats file for cast vote records
usnistgov / libtrevisan
Forked from wolfgangmauerer/libtrevisanTrevisan's extractor
A tool to transfer Google Chrome tabs from your Android or iPhone to your computer.
A forensic system baselining, searching, and evidence collection tool