The Code Peer Review Application for The Crypto Project
☆22Feb 21, 2013Updated 13 years ago
Alternatives and similar repositories for code-peer-review
Users that are interested in code-peer-review are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Course Registration system with all CRUD operations with Course Advisor Monitoring and Managing Students in Classes.☆14Oct 31, 2014Updated 11 years ago
- Code for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 6 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Python framework for extracting secret data from compression oracles such as those exploited by the BEAST and CRIME attacks.☆12Apr 22, 2015Updated 11 years ago
- Grail+ is a set of command line tools for manipulating non-deterministic finite automata (NFAs), non-deterministic pushdown automata (PDA…☆10Oct 22, 2016Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆16Nov 13, 2023Updated 2 years ago
- ssh key exchange layer for scapy☆13Oct 27, 2014Updated 11 years ago
- Okta Session Analyzer: A Python tool for detailed analysis and security monitoring of Okta event logs, designed to identify and alert on …☆21Nov 3, 2023Updated 2 years ago
- A simple test of fuzzing Java with AFL and GCJ☆16Jan 31, 2018Updated 8 years ago
- GSAudit at Symantec, ExeAudit at RIM, RECX Binary Assurance for Windows at Recx etc. - core library now WinBinaryAudit☆23Jul 1, 2015Updated 10 years ago
- Proof of concept code (which means poor code quality) for a proxy abusing unrestricted cross domain policies.☆23Aug 28, 2013Updated 12 years ago
- Linux Kernel forked from ADI (with latest ADI HDMI drivers)☆69Sep 15, 2019Updated 6 years ago
- Authenticated encryption scheme prover/synthesizer☆16Aug 25, 2022Updated 3 years ago
- WebIDL parser/generator for ruby☆23Sep 3, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Chrome app for Laverna☆15Feb 28, 2014Updated 12 years ago
- Simple proxy designed to intercept and modify connections on the transport level. This means you can also modify TLS raw bytes.☆17Dec 13, 2021Updated 4 years ago
- misc stuff☆19Jun 1, 2017Updated 8 years ago
- Windows library for hooking functions across processes, injecting DLLs into other applications, and more. (Somewhat similar to MS Detours…☆12Apr 2, 2013Updated 13 years ago
- Generates CMakeLists.txt files from arbitrary C/C++ codebases☆25Jul 13, 2022Updated 3 years ago
- A user-first approach to threat modeling.☆23May 1, 2025Updated last year
- Friendly fork of (unmaintained) https://bitbucket.org/antocuni/fancycompleter☆14Oct 29, 2023Updated 2 years ago
- ☆11Aug 22, 2017Updated 8 years ago
- Data exfiltration using reflective DNS resolution covert channel☆53Jan 10, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Pack required dlls into a single binary that has no imports and makes direct syscalls on Windows☆28Jul 14, 2017Updated 8 years ago
- Redis tcp map for postfix☆12Jun 28, 2024Updated last year
- The BeerSafe application for the Web Security Fundamentals MOOC☆16Feb 14, 2018Updated 8 years ago
- Plugin enabling advanced unit test support inside your favorite editor.☆72Dec 4, 2015Updated 10 years ago
- Bitcoin test suite primarily used to test complex scenarios such as double spends and similar.☆14Jun 21, 2022Updated 3 years ago
- Flash crossdomain policy security checker☆26Oct 3, 2015Updated 10 years ago
- An application of stacked denoising autoencoders to multi-modal (images and audio) abstract feature discovery☆12Oct 23, 2013Updated 12 years ago
- Current development for Call Map takes place at https://github.com/ajylee/call_map. Call Map is a tool for navigating Python call graphs.…☆29Jul 31, 2021Updated 4 years ago
- ☆11Jun 6, 2017Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Compute the most likely permutation of a lattice given an LM☆10Jan 3, 2013Updated 13 years ago
- Example queries for joern☆18Feb 2, 2017Updated 9 years ago
- Machine Learning Scripts on some datasets.☆10Dec 8, 2016Updated 9 years ago
- Convert tag files (ctags, gccxml, etc) to databases (sqlite, mysql, etc)☆13Mar 30, 2015Updated 11 years ago
- Source code for this blog post: http://marceldegraaf.net/2014/05/05/coreos-follow-up-sinatra-logstash-elasticsearch-kibana.html☆27May 4, 2014Updated 12 years ago
- Sample Go websocket server and JS client with tracing and JSON data interchange☆20Oct 9, 2022Updated 3 years ago
- natural language processing with link-grammar☆18Sep 30, 2009Updated 16 years ago