prosyslab-classroom/is593-language-based-security external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

prosyslab-classroom/is593-language-based-security

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/prosyslab-classroom/is593-language-based-security)

Close

prosyslab-classroom / is593-language-based-securityView on GitHubMore

• External links
• Readme badge

☆28Aug 14, 2023Updated 2 years ago

Alternatives and similar repositories for is593-language-based-security

Users that are interested in is593-language-based-security are comparing it to the libraries listed below

• hongseok-yang / logic21

  View on GitHub
  ☆22Jun 18, 2021Updated 4 years ago
• hongseok-yang / logic24

  View on GitHub
  ☆12May 30, 2024Updated last year
• prosyslab-classroom / cs524-program-analysis

  View on GitHub
  ☆62Feb 11, 2026Updated 3 weeks ago
• hongseok-yang / probprog19

  View on GitHub
  ☆28Aug 17, 2019Updated 6 years ago
• program-repair-project / bugfixer-testbench

  View on GitHub
  ☆14Jan 13, 2023Updated 3 years ago
• hongseok-yang / probprog20

  View on GitHub
  ☆35Jun 21, 2020Updated 5 years ago
• kaist-plrg / jiset

  View on GitHub
  JISET: JavaScript IR-based Semantics Extraction Toolchain
  ☆41Jan 7, 2023Updated 3 years ago
• kaist-cp / memento

  View on GitHub
  Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
  ☆19Apr 27, 2023Updated 2 years ago
• trusslab / charm

  View on GitHub
  ☆20Dec 18, 2018Updated 7 years ago
• ssimplexity / CS492_spring2024

  View on GitHub
  KAIST. CS492 Algorithms for NP-hard Problems. Spring 2024.
  ☆23Jun 4, 2024Updated last year
• prosyslab / pl-wiki

  View on GitHub
  ☆48Nov 25, 2025Updated 3 months ago
• subinium / Python-Algorithm

  View on GitHub
  Python으로 CP용 알고리즘 구현체 모음집
  ☆27Aug 26, 2020Updated 5 years ago
• BugSwarm / bugswarm

  View on GitHub
  ☆38May 22, 2025Updated 9 months ago
• SoftSec-KAIST / MeanDiff

  View on GitHub
  Testing Intermediate Representations for Binary Analysis (ASE '17)
  ☆82Dec 5, 2018Updated 7 years ago
• CodeChain-io / foundry

  View on GitHub
  A programmable open source blockchain engine
  ☆37Jan 20, 2023Updated 3 years ago
• ho94949 / teamnote.sty

  View on GitHub
  LaTeX template for ACM-ICPC team reference document.
  ☆32Oct 7, 2022Updated 3 years ago
• wuzhizhe / DownloadDoubanEbook

  View on GitHub
  下载豆瓣电子书
  ☆10Apr 25, 2017Updated 8 years ago
• lego0901 / Woosung-Vim-LaTeX

  View on GitHub
  Vim에서 LaTeX 사용하기위한 미니멀한 세팅
  ☆10Jun 19, 2020Updated 5 years ago
• cwpearson / llvmvm

  View on GitHub
  LLVM Version Manager
  ☆11Apr 21, 2017Updated 8 years ago
• detule / linux-hexagon

  View on GitHub
  Linux kernel for Qualcomm's Hexagon processors
  ☆10Mar 14, 2013Updated 12 years ago
• jnguyen / SQL_Mortals

  View on GitHub
  PostgreSQL code dump from SQL Queries For Mere Mortals 4th Ed
  ☆14Apr 21, 2019Updated 6 years ago
• uwsampa / coredet

  View on GitHub
  A Compiler and Runtime System for Deterministic Multithreaded Execution
  ☆11Jun 11, 2015Updated 10 years ago
• ghudegy / 2018

  View on GitHub
  구데기컵 @ Baekjoon Online Judge
  ☆35Mar 13, 2023Updated 2 years ago
• obastani / glade

  View on GitHub
  ☆44Apr 28, 2020Updated 5 years ago
• murxla / murxla

  View on GitHub
  A model-based API Fuzzer for SMT Solvers.
  ☆15Oct 14, 2025Updated 4 months ago
• DBCobra / CobraHome

  View on GitHub
  ☆11Mar 3, 2021Updated 5 years ago
• yifengchen-cc / AFLplusplusSmart

  View on GitHub
  AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)
  ☆11Oct 20, 2020Updated 5 years ago
• tomtomjhj / vsrocq.nvim

  View on GitHub
  A Neovim client for VsCoq 2 vscoqtop.
  ☆12Nov 8, 2025Updated 3 months ago
• cobber / perl_call_graph

  View on GitHub
  Produce subroutine call graphs (Static code analysis) for your perl scripts using GraphViz
  ☆14Feb 14, 2018Updated 8 years ago
• tsiemens / vim-aftercolors

  View on GitHub
  Provides support for after/colors/ scripts (Mirrors Peter Hodge's AfterColors.vim on vim.org)
  ☆11May 7, 2017Updated 8 years ago
• bazad / IOAccelerator-leak

  View on GitHub
  Kernel heap pointer disclosure in IOGraphicsFamily.
  ☆13Aug 19, 2017Updated 8 years ago
• chelproc / jump-graph

  View on GitHub
  ☆10May 9, 2024Updated last year
• mzohreva / GoGraphviz

  View on GitHub
  A simple Go library for generating graphs using Graphviz (http://graphviz.org)
  ☆10Feb 26, 2018Updated 8 years ago
• cdpython / NewFuzzer

  View on GitHub
  HWP Document Fuzzer (Simple OLE Structure Parsing)
  ☆15Dec 30, 2014Updated 11 years ago
• P1umer / QL-Relax

  View on GitHub
  QL-Relax
  ☆13Aug 12, 2025Updated 6 months ago
• bluesignum / Audio-SentenceSplit

  View on GitHub
  With one whole audio and corresponding text, the audio can be split line by line and saved with exact sentence using comparison with the …
  ☆10Feb 28, 2019Updated 7 years ago
• CodeChain-io / codechain-agent-client

  View on GitHub
  CodeChain monitoring tool
  ☆11Apr 5, 2019Updated 6 years ago
• cool-mist / math_is_beautiful

  View on GitHub
  Collection of interesting patterns, inspired by nature, powered by p5js
  ☆10Jun 2, 2018Updated 7 years ago
• starnightcyber / vul-info-collect

  View on GitHub
  从美国国家漏洞库NVD获取某个特定版本软件的漏洞统计信息。
  ☆16Mar 29, 2022Updated 3 years ago