A Java Emulator for AVR Micro-controllers, such as the ATMega328 or ATTiny85. Includes instruction decoding / encoding, emulation and support for I/O peripherals.
更新时间: 2023-02-17 10:00The Whiley2Boogie Compiler is responsible for translating Whiley Intermediate Language (WyIL) files into the Boogie Intermediate Verification Language.
更新时间: 2022-08-11 12:16The Whiley Compiler is a component of the Whiley Compiler Collection which is responsible for compiling Whiley source files into binary WyIL files. The compiler supports compile-time verification of source files.
更新时间: 2022-08-11 06:12The Whiley2JavaScript Compiler is responsible for translating Whiley Intermediate Language (WyIL) files into JavaScript
更新时间: 2022-05-26 06:52A library for implementing builds (e.g. for use within compilers).
更新时间: 2021-12-08 12:07A library for implementing key-value stores that supports specific features for building compilers.
更新时间: 2021-12-08 12:04A compiler framework for managing the Whiley Compiler and related tooling.
更新时间: 2021-12-03 12:04The Whiley Compiler is a component of the Whiley Compiler Collection which is responsible for compiling Whiley source files into binary WyIL files. The compiler supports compile-time verification of source files.
更新时间: 2021-12-03 12:04A command-line interface for interacting with the Whiley ecosystem.
更新时间: 2021-12-03 12:04A small library for processing command-line arguments.
更新时间: 2021-11-11 11:12| 仓库 | 个数 |
| Central | 592045 |