Alternatives and similar repositories for intellij-openjml

Users that are interested in intellij-openjml are comparing it to the libraries listed below

• OO-guide-2019 / oo-rules
  oo课程规则文档
  ☆10Updated 6 years ago
• OO-guide-2019 / homework-pre
  寒假入门小作业
  ☆12Updated 6 years ago
• OO-guide-2019 / codestyle-guide
  java codestyle guide
  ☆12Updated 5 years ago
• Mistariano / buaaoo-elevator-test-suit
  为北航面向对象课程电梯单元自动化黑箱测试搭建的IO接口
  ☆15Updated 6 years ago
• Eadral / BUAA_OS_2019
  Operating System Course 2019@Beihang University(BUAA)
  ☆19Updated 5 years ago
• menghuanlater / BUAA_MIPS_OS
  北航小操作系统实验代码lab1~lab6
  ☆118Updated 7 years ago
• HansBug / debug_logger
  debug_logger for java projects
  ☆10Updated 7 years ago
• saurabhdash / GCN_Partitioning
  Graph Partitoning Using Graph Convolutional Networks
  ☆65Updated 3 years ago
• chenzhao / light-dist-gnn
  ☆45Updated 2 years ago
• MengxuanZhang1 / DynamicShortestPath_VLDB21
  ☆11Updated last year
• wang0618 / simple_compiler
  A toy scanner and parser for C language
  ☆17Updated 5 years ago
• xiezhq-hermann / graphiler
  Graphiler is a compiler stack built on top of DGL and TorchScript which compiles GNNs defined using user-defined functions (UDFs) into ef…
  ☆60Updated 2 years ago
• Xtra-Computing / Vine
  Accelerating Exact Constrained Shortest Paths on GPUs
  ☆14Updated 4 years ago
• hgyhungry / ge-spmm
  ☆107Updated 3 years ago
• Xtra-Computing / G3
  G3: A Programmable GNN Training System on GPU
  ☆43Updated 4 years ago
• xxr5566833 / Compiler
  BUAA Compiler Homework
  ☆13Updated 7 years ago
• sfu-db / AreCELearnedYet
  ☆71Updated 2 years ago
• quiver-team / torch-quiver
  PyTorch Library for Low-Latency, High-Throughput Graph Learning on GPUs.
  ☆300Updated last year
• Somedaywilldo / Someday-XeLaTex-Template
  Someday's XeLaTex Template
  ☆28Updated 5 years ago
• HustAIsGroup / CDBTune
  ☆101Updated 2 years ago
• guaiyoui / TransZero
  Official github repository for the paper "Efficient Unsupervised Community Search with Pre-trained Graph Transformer"
  ☆21Updated last year
• jasperzhong / read-papers-and-code
  My paper/code reading notes in Chinese
  ☆46Updated 2 weeks ago
• Catoverflow / VBASE-artifacts
  Artifacts for VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity
  ☆46Updated last year
• Galaxies99 / oh-my-papers
  Oh-My-Papers: a Hybrid Context-aware Paper Recommendation System
  ☆27Updated 2 years ago
• ansrlab / edgepart
  Graph edge partitioning algorithms
  ☆46Updated 5 years ago
• Mistariano / BUAA-CO-Killer
  为北航计算机组成原理设计的CPU测试程序自动生成器
  ☆37Updated 4 years ago
• Shlw / Books-and-Exercises
  Book reading
  ☆15Updated 5 years ago
• OO-guide-2019 / idea-guide-preview
  初步版IDEA使用指南
  ☆23Updated 6 years ago
• heitzjon / mt-join-query-optimization-with-drl
  ☆33Updated 2 years ago
• SJTU-IPADS / gnnlab
  A Factored System for Sample-based GNN Training over GPUs
  ☆42Updated last year