Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Pl Compiler Resource	1,839	5 months ago		cc-by-sa-4.0
程序语言与编译技术相关资料（持续更新中）
Jikesrvm	317	2 years ago	3	other	Java
Jikes RVM (Research Virtual Machine)
Subgraph2vec_gensim	36	7 years ago	1		Python
Contains the code (and working vm setup) for our KDD MLG 2016 paper titled: "subgraph2vec: Learning Distributed Representations of Rooted Sub-graphs from Large Graphs"
Szalinski	33	9 months ago	13	mit	OpenSCAD
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Calc Comp	27	4 months ago			Coq
Coq proofs for the paper "Calculating Correct Compilers"
Cuteos References	20	9 years ago			C++
Documentation, references, and collected academic research for the ‘Cute!’ Kernel.
Lora Phy Fingerprinting	11	7 years ago		bsd-3-clause	Python
Code for the paper entitled "Physical-Layer Fingerprinting of LoRa devices using Supervised and Zero-Shot Learning".
Mccarthy Painter	8	7 years ago			Coq
Coq proof for the paper "Compiling a Fifty Year Journey"
Realsyn	7	6 years ago			Python
Automated Controller Synthesis
Warmup_experiment	6	4 years ago	8	other	Python
Experiment designed to investigate JIT warmup times.

Alternatives To Jikesrvm

Select To Compare

Pl Compiler Resource ⭐ 1,839

程序语言与编译技术相关资料（持续更新中）

most recent commit 5 months ago

Jikesrvm ⭐ 317

Jikes RVM (Research Virtual Machine)

most recent commit 2 years ago

Subgraph2vec_gensim ⭐ 36

Contains the code (and working vm setup) for our KDD MLG 2016 paper titled: "subgraph2vec: Learning Distributed Representations of Rooted Sub-graphs from Large Graphs"

most recent commit 7 years ago

Szalinski ⭐ 33

Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

most recent commit 9 months ago

Calc Comp ⭐ 27

Coq proofs for the paper "Calculating Correct Compilers"

most recent commit 4 months ago

Cuteos References ⭐ 20

Documentation, references, and collected academic research for the ‘Cute!’ Kernel.

most recent commit 9 years ago

Lora Phy Fingerprinting ⭐ 11

Code for the paper entitled "Physical-Layer Fingerprinting of LoRa devices using Supervised and Zero-Shot Learning".

most recent commit 7 years ago

Mccarthy Painter ⭐ 8

Coq proof for the paper "Compiling a Fifty Year Journey"

most recent commit 7 years ago

Realsyn ⭐ 7

Automated Controller Synthesis

most recent commit 6 years ago

Warmup_experiment ⭐ 6

Experiment designed to investigate JIT warmup times.

most recent commit 4 years ago

Suggest An Alternative To JikesRVM

Alternative Project Comparisons

Jikesrvm vs Pl Compiler Resource

Jikesrvm vs Subgraph2vec_gensim

Jikesrvm vs Szalinski

Jikesrvm vs Calc Comp

Jikesrvm vs Cuteos References

Jikesrvm vs Lora Phy Fingerprinting

Jikesrvm vs Mccarthy Painter

Jikesrvm vs Realsyn

Jikesrvm vs Warmup_experiment

Popular Virtual Machine Projects

Firecracker ⭐ 23,403

Secure and fast microVMs for serverless computing.

most recent commit 3 months ago

Utm ⭐ 23,002

Virtual machines for iOS and macOS

most recent commit 3 months ago

V8 ⭐ 22,252

The official mirror of the V8 Git repository

total releases 2latest release September 11, 2019most recent commit 3 months ago

Hhvm ⭐ 17,917

A virtual machine for executing programs written in Hack.

most recent commit 3 months ago

Lima ⭐ 13,893

Linux virtual machines, with a focus on running containers

dependent packages 8total releases 61latest release December 01, 2023most recent commit 16 days ago