uw-unsat / serval-tutorial-sosp19View external linksLinks
☆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 8 months ago
- Unnoficial solutions (still under construction) to Nielsen and Chuang's "Quantum Computation and Quantum Information" - 10th anniversary …☆19Updated this week
- Linux kernel source tree☆10Oct 11, 2017Updated 8 years ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Jun 29, 2022Updated 3 years 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
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- Utility for making crosschain transactions on the Wanchain network☆13Mar 18, 2019Updated 6 years ago
- ☆13Mar 6, 2010Updated 15 years ago
- This repo contains instructions, benchmarks, and files for running user space networking in gem5 simulator.☆11Aug 1, 2024Updated last year
- pano date resolver stuff☆17Dec 3, 2025Updated 2 months ago
- A mobile app for controlling Pulsetto devices☆18Jan 9, 2026Updated last month
- Notes and samples for Python performance talk☆10Feb 17, 2022Updated 3 years ago
- ☆91Jun 30, 2022Updated 3 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
- bctf2017 challenges☆11Apr 20, 2017Updated 8 years ago
- ☆11Jan 17, 2023Updated 3 years ago
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 7 years ago
- Command line interface client to RFQuack dongles☆10Sep 23, 2022Updated 3 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
- ☆10Mar 31, 2016Updated 9 years ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 5 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
- The world's easiest TRNG to get right☆13Sep 10, 2018Updated 7 years ago
- A (Miasm2 + binaryninja) based function divination.☆15Oct 22, 2017Updated 8 years ago
- Source code of https://blahcat.github.io☆13Oct 6, 2025Updated 4 months ago
- Enarx Keep Loader☆15Oct 25, 2021Updated 4 years ago
- A Cashu wallet skill for AI agents☆21Jan 31, 2026Updated 2 weeks ago
- Enables Anki Vector to chase a laser pointer☆11Dec 25, 2018Updated 7 years ago
- Mobile Cashu Mint, Rust + Kotlin☆14Nov 14, 2025Updated 3 months ago
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 6 months ago
- Node RED snappy package☆10Dec 5, 2025Updated 2 months ago
- CANoolder: CAN to 3.3V logic level interface. Dumb. Cheap. Simple. Pick 3.☆15Feb 14, 2018Updated 8 years ago
- r6rs packaging of minikanren from "The Reasoned Schemer"☆12Apr 22, 2015Updated 10 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago
- Espruino's PixL.js 3D printable housing☆11Jun 29, 2018Updated 7 years ago
- GnuRadio PPM (Differential Pulse Position Modulation/Demodulation) plugin☆12Mar 27, 2020Updated 5 years ago
- ☆20Oct 24, 2012Updated 13 years ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago