An Emacs package for writing and testing CodeQL queries.
☆21Apr 7, 2023Updated 3 years ago
Alternatives and similar repositories for emacs-codeql
Users that are interested in emacs-codeql are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Kernel Cache Decryption for iOS☆16Nov 16, 2021Updated 4 years ago
- Fetch and set configuration values for IDA Plugins☆26May 19, 2026Updated 3 weeks ago
- AppContainerBypass☆21Apr 4, 2021Updated 5 years ago
- javascript extension of windbg for hacker.☆18Jun 27, 2023Updated 2 years ago
- ☆22Jul 6, 2018Updated 7 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.
- Resources accompanying the LibAFL workshop blog post☆19Sep 28, 2024Updated last year
- Files for my solution to the SSTIC 2021 challenge☆15Jun 14, 2021Updated 5 years ago
- Verification tools for HardCaml☆10Jun 13, 2018Updated 8 years ago
- A tool for Pentesters & BugHunters to collect IPs of company, server, Operating System & many more☆13Dec 20, 2022Updated 3 years ago
- ☆11Sep 21, 2025Updated 8 months ago
- Bug Bounty Monitor☆15Nov 23, 2020Updated 5 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- Small Scheme interpreter and compiler☆14Feb 15, 2016Updated 10 years ago
- Dynamic binary instrumentation based crypto detection framework. Implementation of http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumbe…☆18Feb 22, 2013Updated 13 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ODBC CLI with autocompletion, syntax highlighting, object preview☆14Mar 24, 2023Updated 3 years ago
- Stuff related with piracy☆10Oct 7, 2020Updated 5 years ago
- Improved version of David Elliott's SerialKDPProxy☆23Mar 19, 2019Updated 7 years ago
- write c++ like python☆12Sep 25, 2023Updated 2 years ago
- org-babel functions for swift evaluation☆14Dec 24, 2018Updated 7 years ago
- Helpers for using topkg with jbuilder☆15Oct 12, 2017Updated 8 years ago
- This repository includes some r2frida scripts to monitor iOS and Android Mobile apps.☆11Dec 21, 2021Updated 4 years ago
- 🍏 This is my toy lisp implementation☆17Feb 28, 2023Updated 3 years ago
- ☆25Apr 19, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Windows_OS_Internals_Curriculum_Resource_Kit-ACADEMIC☆29Nov 17, 2018Updated 7 years ago
- Accompanying code for blog post "Mapping iOS Persistence Attack Surface using Corellium"☆11Jun 10, 2025Updated last year
- Pure OCaml IKEv2☆14Nov 15, 2016Updated 9 years ago
- Used to manage burp extensions that I find useful.☆12Apr 26, 2022Updated 4 years ago
- ☆32Jun 19, 2024Updated last year
- Curve25519 in OCaml.☆16Sep 4, 2018Updated 7 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- emacs ivy helm inspired search line in current buffer.☆10Dec 16, 2024Updated last year
- RISC-V instruction set CPUs in HardCaml☆15Sep 20, 2016Updated 9 years ago
- Docker image for SQLiScanner☆15Jul 26, 2017Updated 8 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 8 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- Flame - Send vulnerabilities reports to SIEM☆15Jul 28, 2016Updated 9 years ago
- PLT Redex models of LVar calculi☆10Apr 6, 2015Updated 11 years ago