Alternatives and similar repositories for News-Record

Users that are interested in News-Record are comparing it to the libraries listed below

• joe1206 / The-Economist

  View on GitHub
  The_Economist经济学人
  ☆112Jan 5, 2021Updated 5 years ago
• hehonghui / awesome-english-ebooks

  View on GitHub
  经济学人(含音频)、纽约客、卫报、连线、大西洋月刊等英语杂志免费下载,支持epub、mobi、pdf格式, 每周更新
  ☆28,976Feb 6, 2026Updated last week
• qingkaishi / context-sensitive-reachability

  View on GitHub
  Indexing reachability for context-sensitive data flow analysis.
  ☆12Jul 10, 2022Updated 3 years ago
• buaajs / TheEconomist2020

  View on GitHub
  The Economist 2020 Weekly Edition ( pdf format)
  ☆30Jan 5, 2021Updated 5 years ago
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 4 years ago
• 95616ARG / pikos_popl2020

  View on GitHub
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Aug 24, 2020Updated 5 years ago
• plseddl / plse-deadlines

  View on GitHub
  PL/SE conference deadline countdowns
  ☆19Nov 23, 2020Updated 5 years ago
• rainoftime / smtfuzz

  View on GitHub
  A fuzzer for SMT solvers
  ☆21Aug 22, 2025Updated 5 months ago
• chyyuu / os-lectures

  View on GitHub
  os lectures 2022 spring
  ☆10Aug 25, 2025Updated 5 months ago
• awen-li / PCA

  View on GitHub
  A data dependence analyzer for C program
  ☆20Jan 23, 2022Updated 4 years ago
• yihozhang / egraph-sqlite

  View on GitHub
  egraph on top of sqlite
  ☆13Mar 8, 2022Updated 3 years ago
• PhyFuzz / phyfu

  View on GitHub
  ☆12Jul 21, 2023Updated 2 years ago
• ssvlab / dsverifier

  View on GitHub
  DSVerifier - Digital Systems Verifier
  ☆11Feb 22, 2019Updated 6 years ago
• secure-software-engineering / ideal

  View on GitHub
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Mar 10, 2018Updated 7 years ago
• too4words / securibench-micro

  View on GitHub
  Securibench Micro is a benchmark for static analysis tools for security.
  ☆26Jul 26, 2018Updated 7 years ago
• monkbai / ir_lifting_data

  View on GitHub
  Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"
  ☆29Jul 29, 2022Updated 3 years ago
• iflody / codeql-workshop

  View on GitHub
  ☆12Aug 5, 2021Updated 4 years ago
• bruincui / BOVW

  View on GitHub
  A MATALB script for extracting Bag-Of-Visual-Word features.
  ☆11Oct 21, 2016Updated 9 years ago
• gryan11 / PGA

  View on GitHub
  Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…
  ☆32Apr 29, 2021Updated 4 years ago
• aiida-vasp / parsevasp

  View on GitHub
  A general parser for VASP
  ☆15Updated this week
• websitefingerprinting / wfd-gan

  View on GitHub
  To generate decoy traffic against WF attack using GAN
  ☆13Jul 17, 2025Updated 6 months ago
• vaibhavbsharma / java-ranger

  View on GitHub
  Java Ranger is a path-merging extension of Symbolic PathFinder
  ☆15Jan 24, 2026Updated 3 weeks ago
• wcventure / ConcurrencyPaper

  View on GitHub
  Concurrency Paper
  ☆114Jun 1, 2023Updated 2 years ago
• xiongGPR / SSGPST-Synchrosqueezing-Generalized-Phase-shifting-S-Transform

  View on GitHub
  Synchrosqueezing Generalized Phase-shifting S-Transform
  ☆23Jun 12, 2024Updated last year
• amaurremi / IDE

  View on GitHub
  Interprocedural Distributive Environment algorithm implementation
  ☆16Jul 16, 2015Updated 10 years ago
• softsec-unh / MBA-Solver

  View on GitHub
  ☆45Apr 10, 2021Updated 4 years ago
• The-Run-Philosophy-Organization / run

  View on GitHub
  润学全球官方指定GITHUB，整理润学宗旨、纲领、理论和各类润之实例；解决为什么润，润去哪里，怎么润三大问题； 并成为新中国人的核心宗教，核心信念。
  ☆32,159Jul 31, 2024Updated last year
• regehr / pldi22-llvm-tutorial

  View on GitHub
  outline and links for PLDI 2022 tutorial
  ☆17Jun 13, 2022Updated 3 years ago
• daniyuu / awesome-gpt-insight-zh

  View on GitHub
  记录一些 GPT 相关的有趣的小点子
  ☆15Mar 20, 2023Updated 2 years ago
• purseclab / PGFuzz

  View on GitHub
  Policy-Guided Fuzzing for Robotic Vehicles
  ☆42Sep 18, 2023Updated 2 years ago
• zachary12138 / TOEFL-GRE

  View on GitHub
  托福秘籍与GRE备考心得
  ☆16Aug 27, 2018Updated 7 years ago
• season-lab / memsight

  View on GitHub
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆25Nov 21, 2024Updated last year
• nyx-fuzz / packer

  View on GitHub
  ☆19Jun 25, 2025Updated 7 months ago
• programthink / books

  View on GitHub
  【编程随想】收藏的电子书清单（多个学科，含下载链接）
  ☆19,804Aug 16, 2022Updated 3 years ago
• Lawliar / ConAFL

  View on GitHub
  AFL enhanced for concurrency bug and vulnerabilities
  ☆19Sep 18, 2020Updated 5 years ago
• liurht / ie5solutions

  View on GitHub
  计量经济学导论（第五版）课后习题
  ☆21Jul 2, 2018Updated 7 years ago
• SVF-tools / SVF-example

  View on GitHub
  An external project example using SVF as a library
  ☆24Dec 17, 2025Updated last month
• secartifacts / secartifacts.github.io

  View on GitHub
  Website for Research Artifacts from the Security Community
  ☆31Updated this week
• davidtr1037 / chopper

  View on GitHub
  KLEE / CSE Project
  ☆48Apr 3, 2020Updated 5 years ago