RuCTFE 2019. Developed with ♥ by HackerDom team
☆26Nov 28, 2021Updated 4 years ago
Alternatives and similar repositories for ructfe-2019
Users that are interested in ructfe-2019 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PHDays Online CTF 2017. Developed with ♥ by Hackerdom team☆22May 13, 2017Updated 9 years ago
- Open Theori Research Seminar☆18Jun 21, 2019Updated 7 years ago
- A DSL for parsing and assembling binary data.☆14Sep 1, 2026Updated last month
- Slides and stuffs of the meetings during the 2020.☆16Jan 18, 2022Updated 4 years ago
- just a bunch of vulnerable web pages for demo☆11Jun 6, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A tool that can help detect and takeover subdomains with dead DNS records☆12Aug 23, 2018Updated 8 years ago
- Tool to view heap chunks and memory writes (using pintool)☆43Dec 8, 2018Updated 7 years ago
- Define Grafana dashboards with ReasonML☆18Jan 31, 2020Updated 6 years ago
- No one writes dumb malware anymore. This is a repo for dumb malware.☆10Apr 18, 2017Updated 9 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- Verification tools for HardCaml☆10Jun 13, 2018Updated 8 years ago
- Rozwiązania ćwiczeń z książki "Zrozumieć Programowanie"☆27Sep 5, 2023Updated 3 years ago
- A disassembler framework☆20Sep 16, 2022Updated 4 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Decrypt AES256GCM-encrypted data in Apple Pay Payment Tokens.☆11Nov 30, 2018Updated 7 years ago
- A simple λProlog interpreter☆21Nov 29, 2021Updated 4 years ago
- ☆20Jun 1, 2024Updated 2 years ago
- Microsite for the MirageOS hack retreats☆13May 10, 2026Updated 5 months ago
- A Factor port of QuickCheck unit test framework☆14May 9, 2020Updated 6 years ago
- Various CTF challenge solutions☆12Apr 20, 2021Updated 5 years ago
- A playground to practice SSRF Attacks against web apps☆17Oct 15, 2018Updated 8 years ago
- Export dwarf debug information from IDA Pro☆12Jun 13, 2025Updated last year
- Vulnerability Data Tracer - Published at Phrack 67 Article☆17Dec 12, 2014Updated 11 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Small Scheme interpreter and compiler☆14Feb 15, 2016Updated 10 years ago
- Official training ground for the OTA CTF team☆40Dec 7, 2022Updated 3 years ago
- Simple webinterface combining different recon tools.☆12Mar 2, 2018Updated 8 years ago
- [DEPRECATED] See https://github.com/src-d/go-mysql-server☆10Feb 9, 2018Updated 8 years ago
- write c++ like python☆12Sep 25, 2023Updated 3 years ago
- Fork of https://code.google.com/p/lorcon/☆12Sep 23, 2013Updated 13 years ago
- Inject libraries into 32 processes on macOS Mojave☆16Mar 2, 2020Updated 6 years ago
- Notes on P-omega☆14Jul 11, 2017Updated 9 years ago
- ☆21May 11, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Signatures for wraith used to detect secrets across various sources☆15Jul 8, 2022Updated 4 years ago
- A small Coq library for collecting side conditions and deferring their proof☆26Oct 14, 2019Updated 7 years ago
- A fast and lean way to grep in JSON files.☆22Oct 26, 2023Updated 3 years ago
- RISC-V instruction set CPUs in HardCaml☆15Sep 20, 2016Updated 10 years ago
- Helpers for using topkg with jbuilder☆15Oct 12, 2017Updated 9 years ago
- CRX Package generator☆20Nov 7, 2018Updated 7 years ago
- ☆10Jun 24, 2025Updated last year