由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

mpi

话题找到数量

AeneasVerif/aeneas

OCaml

面向 Rust 程序的验证工具链

compiler coq deductive-reasoning
AeneasVerif
AeneasVerif 开发者
968
107
937
+2
排名 #6
9月17日
查看详情

microsoft/qdk

Rust

Microsoft量子开发工具包，包含Q#编程语言、资源估算器和Quantum Katas

compilers qsharp quantum
microsoft
microsoft 开发者
956
200
686
排名 #7
6月29日
查看详情

sccn/eeglab

MATLAB

EEGLAB是一个基于Matlab运行的开源电生理信号处理环境，由SCCN/UCSD开发

biosignal brain compiled
sccn
sccn 开发者
776
274
1k
+4
排名 #1
7月5日
查看详情

Vatuu/silent-hill-decomp

C

针对Playstation 1平台《寂静岭》1美版的反向工程正在进行中。

decompilation konami silent-hill
Vatuu
Vatuu 开发者
734
49
936
+5
排名 #12
6月17日
查看详情

SirDiabo/N64RecompLauncher

C#

一款可下载并更新N64重编译游戏的启动器

games launcher launcher-application
SirDiabo
SirDiabo 开发者
623
13
819
+281
排名 #14
4月30日
查看详情

ghuntley/cursed

Zig

💀诅咒编程语言：编程，但让它Z世代化

compiler cursed genz
ghuntley
ghuntley 开发者
597
34
836
+2
排名 #6
2月1日
查看详情

pret/pokeheartgold

Assembly

宝可梦心金/魂银的逆向工程源码

c decompilation nintendo-ds
pret
pret 开发者
589
205
1k
排名 #4
9月16日
查看详情

EnzymeAD/Enzyme.jl

Julia

Enzyme自动微分器的Julia语言绑定

ad automatic-differentiation compiler
EnzymeAD
EnzymeAD 开发者
586
105
1k
排名 #3
9月9日
查看详情

llvm/clangir

LLVM

基于MLIR的新型高级中间表示实现，面向Clang编译器。

clang codegeneration compiler-frontend
llvm
llvm 开发者
581
195
1.5k
排名 #2
9月16日
查看详情

SAT-R/sa2

C

一款基于C语言编写的GameBoy Advance游戏《索尼克进化2》的反编译与移植版本

c decompilation gba
SAT-R
SAT-R 开发者
563
50
911
+1
排名 #1
2月23日
查看详情

SlickAmogus/silent-hill-decomp

C

基于由 Claude 和 Psycross 制作的《寂静岭 1》的 PSX 反编译的多平台和功能丰富的端口。仍处于测试阶段并正在积极开发中。

android c decompilation
SlickAmogus
SlickAmogus 开发者
548
32
49
+14
排名 #5
9月17日
查看详情

llvm-mos/llvm-mos

LLVM

LLVM 向 MOS 6502 及相关处理器的移植

6502 6502-assembly c-compiler
llvm-mos
llvm-mos 开发者
529
62
951
排名 #3
7月13日
查看详情

pret/pokediamond

Assembly

宝可梦钻石/珍珠的逆向工程源码

c decompilation nintendo-ds
pret
pret 开发者
517
100
503
+2
排名 #8
8月28日
查看详情

GRAnimated/MinecraftLCE

C++

1210% - Minecraft：旧主机版反编译项目

decompilation minecraft minecraft-legacy-console-edition
GRAnimated
GRAnimated 开发者
514
22
903
+10
排名 #8
3月5日
查看详情

titzer/wizard-engine

WebAssembly

研究WebAssembly引擎

compiler interpreter virtual-machine
titzer
titzer 开发者
503
52
667
+1
排名 #2
6月28日
查看详情

GensokyoClub/th06

C++

对《東方紅魔郷 ～ the Embodiment of Scarlet Devil》（02h版本）的反编译

anime decompilation msvc
GensokyoClub
GensokyoClub 开发者
478
49
759
+10
排名 #6
6月13日
查看详情

jeandle/jeandle-jdk

Java

Jeandle是一个Java的即时编译器。它基于OpenJDK构建，并利用LLVM编译器基础设施生成机器码，旨在提供强大的编译优化并生成高性能代码。

compiler java jdk
jeandle
jeandle 开发者
461
128
660
+1
排名 #9
7月25日
查看详情

finch-tensor/Finch.jl

Julia

稀疏与结构化张量编译器

arrays compiler dsl
finch-tensor
finch-tensor 开发者
239
29
668
排名 #22
6月28日
查看详情

actonlang/acton

Haskell

基于Actor模型、类型安全且快速的编程语言。

actor-model compiler distributed-computing
actonlang
actonlang 开发者
183
13
723
排名 #20
6月29日
查看详情

infiniflow/ragflow

Go

RAGFlow 是领先的开源检索增强生成引擎，融合尖端 RAG 与智能体能力，为大型语言模型构建卓越的上下文层

agent-harness agentic-ai agentic-retrieval
infiniflow
infiniflow 开发者
0
0
1.9k
排名 #7
9月11日
查看详情

lkimuk/ReArk

C++

专为多目标平台设计的智能逆向工程分析工具，目前支持HarmonyOS（HAP/APP/ABC）和Android（APK/AAB）。

aab abc agentic-workflow
lkimuk
lkimuk 开发者
0
0
185
排名 #8
9月12日
查看详情

JetBrains/kotlin

Kotlin

Kotlin编程语言

compiler gradle-plugin intellij-plugin
JetBrains
JetBrains 开发者
0
0
1.7k
排名 #2
9月11日
查看详情
助手