kaist-ina/Extractocol 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

kaist-ina/Extractocol

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/kaist-ina/Extractocol)

Close

kaist-ina / ExtractocolView on GitHubMore

• External links
• Readme badge

☆14Feb 3, 2021Updated 5 years ago

Alternatives and similar repositories for Extractocol

Users that are interested in Extractocol are comparing it to the libraries listed below

• earlence / SmartThingsAnalysisTools

  View on GitHub
  SmartThings Analysis Tools
  ☆25Apr 23, 2016Updated 9 years ago
• whj0401 / RLOBF

  View on GitHub
  ☆10Sep 28, 2020Updated 5 years ago
• atirek-ak / subway-surfers

  View on GitHub
  Basic implementation of Subway Surfers using JS & WebGL
  ☆11Jun 18, 2019Updated 6 years ago
• Ji4n1ng / Swag

  View on GitHub
  A toy WebAssembly(wasm) interpreter written in Swift
  ☆16Jan 25, 2025Updated last year
• 0xjet / malsource

  View on GitHub
  The malsource dataset
  ☆12Aug 31, 2021Updated 4 years ago
• romangol / cryptoMisuse

  View on GitHub
  Misuse cases of Cryptography in real world software products
  ☆12Nov 4, 2018Updated 7 years ago
• secworks / chacha_testvectors

  View on GitHub
  Generator and Internet Draft (I-D) documenting test vectors for the stream cipher ChaCha.
  ☆12Apr 21, 2016Updated 9 years ago
• LuwuDynamics-RIG / RIG-puppy

  View on GitHub
  RIG-Puppy a Quadrupedal robots.
  ☆26Feb 4, 2026Updated last month
• NougatCA / FAIR

  View on GitHub
  ☆12Nov 19, 2025Updated 3 months ago
• youweit / android-studio-obsidian-theme

  View on GitHub
  ☆11Aug 19, 2016Updated 9 years ago
• bhumbers / optcomp

  View on GitHub
  CMU 15-745 Spring 2014
  ☆10Mar 7, 2014Updated 11 years ago
• sola-st / wasm-type-prediction

  View on GitHub
  ☆11Mar 22, 2022Updated 3 years ago
• quiclog / qvis-server

  View on GitHub
  API and web-based wrapper for the qvis visualization suite
  ☆12Dec 9, 2022Updated 3 years ago
• Viewer-HX / BinProv

  View on GitHub
  ☆10Jan 3, 2023Updated 3 years ago
• fabianfetting / heartbeat-monitor

  View on GitHub
  Quick and dirty demo showing the heart rate on Android and Android Wear. Using React Native on the handheld device and Android Wear on th…
  ☆11Apr 14, 2018Updated 7 years ago
• tinykpwang / docker-compose-seckill_server

  View on GitHub
  用grpc C++实现的秒杀服务,docker-compose管理grpc、redis、mysql,代码编译使用bazel
  ☆10Dec 6, 2018Updated 7 years ago
• EvoIos / EleBySwiftDemo

  View on GitHub
  仿【饿了么】iOS版，swift 2.2
  ☆13Jun 19, 2017Updated 8 years ago
• xinjin95 / IoTSpotter

  View on GitHub
  Code and data release for CCS'2022 paper "Understanding IoT Security from a Market-Scale Perspective"
  ☆12Apr 13, 2023Updated 2 years ago
• ampretia / fabric-application-examples

  View on GitHub
  Examples, Best Practice, and developer tools for Hyperledger Fabric
  ☆12Dec 9, 2022Updated 3 years ago
• bbc / gst-roq

  View on GitHub
  RTP-over-QUIC elements for GStreamer
  ☆18Dec 20, 2024Updated last year
• ljiahao / TeLL

  View on GitHub
  TeLL: Log Level Suggestions via Modeling Multi-Level Code Block Information, ISSTA'22
  ☆14Jul 14, 2022Updated 3 years ago
• carter-yagemann / PUMM

  View on GitHub
  Partitioned Unit Memory Management
  ☆16Nov 28, 2022Updated 3 years ago
• changwoo / jebudo

  View on GitHub
  한글 글꼴 모음 실험
  ☆31Jan 22, 2014Updated 12 years ago
• Daeinar / salsa20

  View on GitHub
  Python implementation of Salsa20 core
  ☆13May 10, 2013Updated 12 years ago
• florishermsen / L-GCN

  View on GitHub
  End-to-End Learning from Complex Multigraphs with Latent-Graph Convolutional Networks
  ☆15Jul 25, 2024Updated last year
• valour01 / arm_disasssembler_study

  View on GitHub
  This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020
  ☆65Aug 22, 2023Updated 2 years ago
• columbia / woodpecker

  View on GitHub
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Jul 5, 2016Updated 9 years ago
• ArtemKushnerov / az

  View on GitHub
  Downloads apks from androzoo repository https://androzoo.uni.lu/
  ☆128Dec 27, 2022Updated 3 years ago
• tailsdotcom / boolrule

  View on GitHub
  Simple boolean expression evaluation engine for python.
  ☆17May 11, 2023Updated 2 years ago
• CryptoGuardOSS / cryptoapi-bench

  View on GitHub
  ☆12May 9, 2022Updated 3 years ago
• nasa / cpr

  View on GitHub
  LAR-19679-1 : CPR*: Formally Verified Compact Position Reporting Algorithm
  ☆16Nov 30, 2020Updated 5 years ago
• goblimey / films

  View on GitHub
  A simple MVC web server written in Go with restful interfaces providing CRUD operations on database tables
  ☆14Sep 29, 2016Updated 9 years ago
• cloudflightio / cloudflight-platform-spring

  View on GitHub
  Cloudflight Platform for Spring
  ☆18Feb 9, 2026Updated 3 weeks ago
• secure-software-engineering / Jimple-Interpreter

  View on GitHub
  Soot based Jimple interpreter
  ☆14Mar 31, 2021Updated 4 years ago
• caballa / wrapped-intervals

  View on GitHub
  Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…
  ☆11Dec 18, 2017Updated 8 years ago
• columbia / appdoctor

  View on GitHub
  AppDoctor
  ☆16Mar 8, 2017Updated 8 years ago
• JetBrains-Research / codegen-metrics

  View on GitHub
  Replication package for evaluation of code generation metrics
  ☆16Nov 24, 2025Updated 3 months ago
• LibChecker / LibChecker-Rules-Bundle

  View on GitHub
  ☆18Updated this week
• bbc / gst-quic-transport

  View on GitHub
  Core QUIC Transport elements for GStreamer
  ☆18Dec 20, 2024Updated last year