方舟JS运行时（ARK JavaScript Runtime）是OpenHarmony上JS应用使用的运行时。包含JS对象的分配器以及垃圾回收器（GC）、符合ECMAScript规范的标准库、用于运行ARK前端组件生成的方舟字节码（ARK Bytecode，abc）的解释器、用于存储隐藏类的内联缓存、方舟JS运行时对外的函数接口（AFFI）等模块。
☆16Oct 28, 2024Updated last year
Alternatives and similar repositories for ark_js_runtime
Users that are interested in ark_js_runtime are comparing it to the libraries listed below
Sorting:
- ☆12Jan 24, 2022Updated 4 years ago
- Huawei E3372h source code from http://consumer.huawei.com/en/support/downloads/detail/index.htm?id=56443☆11Nov 3, 2015Updated 10 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- ☆12Jan 13, 2025Updated last year
- ☆12Apr 1, 2025Updated 11 months ago
- A model-based API Fuzzer for SMT Solvers.☆15Oct 14, 2025Updated 4 months ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- Generate CPG for multiple languages for code and threat analysis☆11Sep 22, 2023Updated 2 years ago
- ☆20Jan 30, 2026Updated last month
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated last year
- Sample native module for NativeScript☆11Jul 9, 2019Updated 6 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- ☆13May 5, 2018Updated 7 years ago
- Abstraction layer for Xilinx FPGAs☆15Aug 9, 2019Updated 6 years ago
- ☆11Nov 27, 2024Updated last year
- ☆11Mar 22, 2022Updated 3 years ago
- ☆10Aug 18, 2025Updated 6 months ago
- ☆11Mar 8, 2021Updated 4 years ago
- ☆10Oct 30, 2016Updated 9 years ago
- Modified drivers to reliably perform fragmentation and aggregation vulnerability tests☆12Jan 7, 2023Updated 3 years ago
- Android driver for the Trusted Execution Environment <t-base☆12Sep 29, 2015Updated 10 years ago
- Side menu component for React Native☆12Nov 5, 2022Updated 3 years ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- Nintendo switch debugger for radare2☆13Aug 12, 2018Updated 7 years ago
- ☆19Apr 18, 2024Updated last year
- Project Repo for the Simulator Independent Coverage Research☆21Feb 28, 2023Updated 3 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- ☆13Nov 9, 2022Updated 3 years ago
- Join the REVEN community. Ask questions, talk about reverse engineering, discuss REVEN, and show off your work!☆13Nov 30, 2021Updated 4 years ago
- VeriFastに関する文書の日本語訳置き場☆15Oct 15, 2018Updated 7 years ago
- ZK ElGamal Proof Program on Solana☆26Feb 25, 2026Updated last week
- Home for issues on Binary Ninja Cloud☆16May 13, 2020Updated 5 years ago
- The Michelson Symbolic vErifier☆13Feb 3, 2023Updated 3 years ago
- Hydradancer firmware supporting the Facedancer backend for the Hydradancer dongle and HydraUSB3☆23Dec 10, 2025Updated 2 months ago
- ☆15Sep 1, 2022Updated 3 years ago
- Assume-Guarantee REasoning Environment☆20Dec 3, 2025Updated 3 months ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Mar 13, 2023Updated 2 years ago
- nativescript-plugins☆18Feb 19, 2026Updated 2 weeks ago