Alternatives and similar repositories for OnlineMoocCourse-Auto-Watcher

Users that are interested in OnlineMoocCourse-Auto-Watcher are comparing it to the libraries listed below

• canliture / CrawlerCourseTable

  View on GitHub
  课程表的java爬虫实现--基于“强智教务系统”
  ☆18Jan 9, 2020Updated 6 years ago
• ChunghaSung / intAbs

  View on GitHub
  Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
  ☆11May 20, 2019Updated 6 years ago
• duydoanx / gl553vd-opencore-macos-big-sur

  View on GitHub
  OpenCore for GL553VD.
  ☆10Aug 28, 2021Updated 4 years ago
• fengcc / ProgramSlicing

  View on GitHub
  Simply C program slicing tool in C
  ☆10Jun 19, 2015Updated 10 years ago
• rbonifacio / svfa-scala

  View on GitHub
  An implementation of sparse-value flow analysis on top of soot (using Scala)
  ☆10Dec 12, 2024Updated last year
• PurduePL / purduepl.github.io

  View on GitHub
  A blog of Programming Languages Group @Purdue
  ☆11Updated this week
• happyincent / Functional-Programming-in-C

  View on GitHub
  https://hackmd.io/s/r1SgsdF3X
  ☆10Dec 21, 2018Updated 7 years ago
• microsoft / NeuralInvariantRanker

  View on GitHub
  Ranking LLM-Generated Loop Invariants for Program Verification.
  ☆12Aug 20, 2024Updated last year
• k6ymaker / NJU-static-program-analysis-node

  View on GitHub
  ☆11Mar 19, 2022Updated 3 years ago
• swissiety / JimpleLSP

  View on GitHub
  This is an implementation of the Language Server Protocol for Jimple. It enables your IDE to provide code exploring features while workin…
  ☆12Dec 15, 2023Updated 2 years ago
• secure-software-engineering / ideal

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

  View on GitHub
  CMU 15-745 Spring 2014
  ☆10Mar 7, 2014Updated 11 years ago
• 92ganesh / Moss-Plagarism-Checker

  View on GitHub
  compare software similarity using MOSS
  ☆11Jun 23, 2019Updated 6 years ago
• JonyYu / ATimeSeriesDataset

  View on GitHub
  ☆11Feb 13, 2020Updated 6 years ago
• ybonjour / Data-Flow-Analysis

  View on GitHub
  ☆10Aug 16, 2012Updated 13 years ago
• secure-software-engineering / Boomerang

  View on GitHub
  Demand-Driven Pointer Analysis
  ☆14Feb 9, 2026Updated last week
• seahorn / seahorn-tutorial

  View on GitHub
  Supplementary files for SSFT 2015 summer school
  ☆11Sep 5, 2019Updated 6 years ago
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 4 years ago
• iflody / codeql-workshop

  View on GitHub
  ☆12Aug 5, 2021Updated 4 years ago
• secure-software-engineering / SPDS-experiments

  View on GitHub
  ☆11Oct 10, 2018Updated 7 years ago
• ISRC-CAS / PLCT-OpenDay-2020

  View on GitHub
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Dec 29, 2020Updated 5 years ago
• slasser / CoStar

  View on GitHub
  A parser based on the ALL(*) algorithm, implemented and verified in Coq.
  ☆13Feb 14, 2023Updated 3 years ago
• softwarelanguageslab / maf

  View on GitHub
  Static Analysis Framework for Modular Analyses
  ☆13Jan 17, 2026Updated 3 weeks ago
• X-czh / Java2Cpp-Translator

  View on GitHub
  Java to C++ Translator
  ☆12Jun 28, 2020Updated 5 years ago
• ryohare / fortify-structural-rules-guide

  View on GitHub
  A technique for developing Fortify structural rules and characterization rules.
  ☆14Dec 2, 2019Updated 6 years ago
• timmyyuan / Security-Papers

  View on GitHub
  Security papers about software vulnerabilities and exploits
  ☆14Jan 16, 2019Updated 7 years ago
• kisslune / POCR

  View on GitHub
  ☆16Jun 21, 2024Updated last year
• secure-software-engineering / Jimple-Interpreter

  View on GitHub
  Soot based Jimple interpreter
  ☆14Mar 31, 2021Updated 4 years ago
• secure-software-engineering / authcheck

  View on GitHub
  Analysis for access-control vulnerabilities in Java Spring Security applications.
  ☆14May 25, 2022Updated 3 years ago
• wimkeir / graft

  View on GitHub
  A static analysis tool for Java programs, based on the theory of code property graphs.
  ☆18Mar 27, 2023Updated 2 years ago
• rwsnow / drop-water

  View on GitHub
  滴水逆向课件
  ☆20Jun 10, 2021Updated 4 years ago
• leo038 / RAG_tutorial

  View on GitHub
  RAG技术实现。 langchain, llama_index
  ☆14Jul 23, 2024Updated last year
• amaurremi / IDE

  View on GitHub
  Interprocedural Distributive Environment algorithm implementation
  ☆16Jul 16, 2015Updated 10 years ago
• yuleisui / groupmeeting

  View on GitHub
  Software Analysis and Verification Group
  ☆15Nov 11, 2025Updated 3 months ago
• UnitTestBot / klee

  View on GitHub
  KLEEF Symbolic Execution Engine
  ☆22Aug 4, 2025Updated 6 months ago
• evolveDB / tuning-survey

  View on GitHub
  ☆19Jun 19, 2023Updated 2 years ago
• 95616ARG / pikos_popl2020

  View on GitHub
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Aug 24, 2020Updated 5 years ago
• qingkaishi / context-sensitive-reachability

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

  View on GitHub
  A candidate indexed, linked list data structure for OpenJDK.
  ☆17Dec 7, 2025Updated 2 months ago