☆14Nov 11, 2019Updated 6 years ago
Alternatives and similar repositories for serval-tutorial-sosp19
Users that are interested in serval-tutorial-sosp19 are comparing it to the libraries listed below
Sorting:
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 6 years ago
- ☆27Jun 1, 2025Updated 9 months ago
- Unnoficial solutions (still under construction) to Nielsen and Chuang's "Quantum Computation and Quantum Information" - 10th anniversary …☆19Feb 11, 2026Updated 3 weeks ago
- Prangster tool from the Black Hat USA 2013 presentation "Black-Box Assessment of Pseudorandom Algorithms" by Derek Soeder, Christopher Ab…☆11Jul 9, 2014Updated 11 years ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Jun 29, 2022Updated 3 years ago
- Linux kernel source tree☆10Oct 11, 2017Updated 8 years ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- Altair8800_Mister☆13Dec 9, 2025Updated 2 months ago
- ☆13Mar 6, 2010Updated 16 years ago
- This repo contains instructions, benchmarks, and files for running user space networking in gem5 simulator.☆12Aug 1, 2024Updated last year
- pano date resolver stuff☆18Dec 3, 2025Updated 3 months ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Apr 23, 2023Updated 2 years ago
- Linked Web Storage Protocol☆22Updated this week
- Command line interface client to RFQuack dongles☆10Sep 23, 2022Updated 3 years ago
- bctf2017 challenges☆11Apr 20, 2017Updated 8 years ago
- Espruino's PixL.js 3D printable housing☆11Jun 29, 2018Updated 7 years ago
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 7 months ago
- SoC-independent part of the iso7816 stack☆13Feb 28, 2024Updated 2 years ago
- Enables Anki Vector to chase a laser pointer☆11Dec 25, 2018Updated 7 years ago
- A Cashu wallet skill for AI agents☆22Jan 31, 2026Updated last month
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 7 years ago
- The world's easiest TRNG to get right☆13Sep 10, 2018Updated 7 years ago
- a simple crawler for diagnosing connectivity issues in the ipfs network☆13Jan 22, 2019Updated 7 years ago
- A mobile app for controlling Pulsetto devices☆20Jan 9, 2026Updated last month
- Mobile application and IoT network analysis automation tool.☆11May 9, 2019Updated 6 years ago
- GnuRadio PPM (Differential Pulse Position Modulation/Demodulation) plugin☆12Mar 27, 2020Updated 5 years ago
- Python utilities for LED name badge☆16Mar 31, 2012Updated 13 years ago
- My version of driller using Intel PIN and angrgdb. In "theory" can work with AFL in deferred and persistent mode.☆13Feb 10, 2019Updated 7 years ago
- NavSec is the most comprehensive passive web vulnerability and privacy scanner. It performs real-time security analysis directly in your …☆23Sep 13, 2025Updated 5 months ago
- r6rs packaging of minikanren from "The Reasoned Schemer"☆12Apr 22, 2015Updated 10 years ago
- Collection of projects for adding GNURadio to a REDHAWK Domain as a Component, thus enabling easy installation of flowgraphs into REDHAWK…☆14Jul 15, 2019Updated 6 years ago
- CRC Tool Kit☆18Oct 5, 2012Updated 13 years ago
- Generate class diagram representing empirical schema of data in a SPARQL endpoint☆10Jan 4, 2018Updated 8 years ago
- ☆10Mar 31, 2016Updated 9 years ago
- All about Holochain (https://holochain.org/) and the starting journey in the distributed web landscape ...☆10Oct 20, 2022Updated 3 years ago
- An oracle that posts results of sports events into Byteball database☆10Mar 15, 2025Updated 11 months ago
- The (very) small kernel of the LaTTe proof assistant☆12Mar 13, 2025Updated 11 months ago
- Mobile Cashu Mint, Rust + Kotlin☆14Nov 14, 2025Updated 3 months ago
- All linux versions before those accessible in https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/ and https://git.kernel.…☆10Jun 22, 2020Updated 5 years ago