Alternatives and similar repositories for magpie-language-design

Users that are interested in magpie-language-design are comparing it to the libraries listed below

• S3L-ShanghaiTech / DeJITLeak

  View on GitHub
  DeJITLeak: Eliminating JIT-Induced Timing Side-Channel Leaks
  ☆15Sep 15, 2022Updated 3 years ago
• WAY29 / hackbox

  View on GitHub
  An lightweight and easy to use toolbox for hackers
  ☆12Nov 17, 2022Updated 3 years ago
• SameLight / ITRI-OpenDLA

  View on GitHub
  Express DLA implementation for FPGA, revised based on NVDLA.
  ☆11Oct 17, 2019Updated 6 years ago
• RicoloveFeng / SPA-Freestyle-Guidance

  View on GitHub
  带你畅游《软件分析》
  ☆277Aug 1, 2022Updated 3 years ago
• enochii / simple-pointer-analysis

  View on GitHub
  Pointer analysis prototype (currently including anderson, steensgard).
  ☆16Dec 20, 2021Updated 4 years ago
• mitsuhiko / small-ctor

  View on GitHub
  Minimal, dependency free implementation of the ctor crate
  ☆17Aug 1, 2024Updated last year
• alexshuang / write-your-own-ai-compiler

  View on GitHub
  《自己动手写AI编译器》
  ☆33Oct 19, 2024Updated last year
• dvm-system / tsar

  View on GitHub
  TSAR (Traits Static AnalyzeR)
  ☆15May 3, 2024Updated last year
• leveryd / go-sec-code

  View on GitHub
  Go相关的安全研究
  ☆234Nov 6, 2023Updated 2 years ago
• prasshantg / personal

  View on GitHub
  ☆16Oct 2, 2019Updated 6 years ago
• HarrisonGrodin / ATPL24

  View on GitHub
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Jul 24, 2024Updated last year
• Systems-ShiftLab / pmfuzz

  View on GitHub
  A testcase generation tool for Persistent Memory Programs.
  ☆15Jul 19, 2021Updated 4 years ago
• 4paradigm / pskiplist

  View on GitHub
  An implementation of the persistent skiplist based on Intel Optane Persistent Memory. It is with Intel's pmemkv as an storage engine
  ☆13Apr 9, 2021Updated 4 years ago
• yhy0 / nucleiTest

  View on GitHub
  集成 nuclei 示例
  ☆14Nov 30, 2021Updated 4 years ago
• Fraunhofer-AISEC / cpg-neo4j

  View on GitHub
  Neo4J visualisation tool for the Code Property Graph
  ☆14May 17, 2021Updated 4 years ago
• secure-software-engineering / secucheck

  View on GitHub
  Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…
  ☆18Jan 30, 2025Updated last year
• hluwa / AndSecCxQL

  View on GitHub
  Android Security Bug Queries for CheckMarx
  ☆20Sep 13, 2022Updated 3 years ago
• h0li3 / mpengine_diskus

  View on GitHub
  参考taviso的代码逆向一下mpengine.dll
  ☆20Jun 30, 2022Updated 3 years ago
• fynch3r / DesignPatternDemos

  View on GitHub
  Java 设计模式梳理
  ☆36Jun 20, 2022Updated 3 years ago
• fullwaywang / QlRules

  View on GitHub
  Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.
  ☆183Sep 19, 2024Updated last year
• XuefengWu / dependence_java

  View on GitHub
  analysis java dependence and store in neo4j
  ☆18Oct 22, 2018Updated 7 years ago
• phith0n / vindicator

  View on GitHub
  Vindicator is a lightweight Golang library that is designed to hold and check any blocking function. e.g. subprocess, network connection.…
  ☆19Sep 24, 2022Updated 3 years ago
• yuanhao-chen-nyoeghau / kanbun

  View on GitHub
  Easily typeset kanbun-kundoku (漢文訓読) with (Lua)LaTeX
  ☆19Mar 17, 2025Updated 11 months ago
• google / vandalir

  View on GitHub
  ☆42Apr 15, 2023Updated 2 years ago
• LeiWang1999 / Pynq-Accelerator

  View on GitHub
  A easy general acc.
  ☆18Mar 22, 2021Updated 4 years ago
• seahorn / llvm-dsa

  View on GitHub
  LLVM DSA fork for SeaHorn
  ☆21Aug 17, 2019Updated 6 years ago
• chhzh123 / ptc-tutorial

  View on GitHub
  PyTorch compilation tutorial covering TorchScript, torch.fx, and Slapo
  ☆17Mar 13, 2023Updated 2 years ago
• comwrg / ysoserial

  View on GitHub
  ☆46Jan 2, 2022Updated 4 years ago
• stonet-research / zns-tools

  View on GitHub
  A set of tools for understanding F2FS usage of ZNS devices, which allow for identifying the on-device locations of files and inodes, mapp…
  ☆20Jan 19, 2025Updated last year
• k8gege / CVE-2021-40444

  View on GitHub
  ☆19Sep 14, 2021Updated 4 years ago
• G4rb3n / Botnet-Zoo

  View on GitHub
  整理每个流行botnet家族的专杀脚本、靶机环境、检测规则、病毒样本、病毒原理图
  ☆76Mar 29, 2021Updated 4 years ago
• pascal-lab / Tai-e-assignments

  View on GitHub
  Tai-e assignments for static program analysis
  ☆1,219Aug 28, 2025Updated 5 months ago
• csl-iisc / iGUARD-SOSP21

  View on GitHub
  Race detector for NVIDIA GPUs, published in SOSP 2021.
  ☆18Feb 22, 2025Updated 11 months ago
• ganyunhan / IC-Design-Contest-ARM-CUP

  View on GitHub
  集成电路设计大赛ARM杯作品，获得2021年ARM企业杯
  ☆16Sep 26, 2021Updated 4 years ago
• akkuman / gSigFlip

  View on GitHub
  A SigFlip implement in golang
  ☆51Jan 5, 2022Updated 4 years ago
• tianstcht / CVE-2023-4427

  View on GitHub
  ☆27Feb 6, 2024Updated 2 years ago
• xxg1413 / rust-security

  View on GitHub
  Rust语言安全相关分析
  ☆23Jan 20, 2022Updated 4 years ago
• PL-Ninja / MySootScript

  View on GitHub
  oh my soot !
  ☆93Aug 10, 2022Updated 3 years ago
• zhliuworks / Linux-Kernel-notes

  View on GitHub
  🌟 Notes and codes for Linux Kernel (SJTU-CS353)
  ☆25Jun 22, 2021Updated 4 years ago