https://github.com/dere3046/jvav
yes is JVAV
https://github.com/dere3046/jvav
joke jvav programming-language
Last synced: 2 months ago
JSON representation
yes is JVAV
- Host: GitHub
- URL: https://github.com/dere3046/jvav
- Owner: Dere3046
- License: mit
- Created: 2026-04-20T06:02:18.000Z (2 months ago)
- Default Branch: master
- Last Pushed: 2026-04-20T14:57:25.000Z (2 months ago)
- Last Synced: 2026-04-20T15:34:21.899Z (2 months ago)
- Topics: joke, jvav, programming-language
- Language: C++
- Homepage:
- Size: 67.4 KB
- Stars: 2
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# JVAV Programming Language
[](LICENSE)
[](https://github.com/Dere3046/JVAV/actions)
[](https://github.com/Dere3046/JVAV/actions)
[](https://github.com/Dere3046/JVAV)
> **Disclaimer:** This is a joke / parody project. JVAV was "proposed by Dr. Zhang Haoyang" and implemented by **Dere3046**. Please do not harass, attack, or send hate to Zhang Haoyang or anyone associated with JVAV. This project exists purely for fun and educational purposes.
JVAV is a complete custom programming language and toolchain built from scratch, featuring a 128-bit instruction set architecture, a C-like frontend language (JVL), an ARM-like assembly backend (JVAV), a virtual machine, and a disassembler.
[中文版本](./README_zh.md)
---
## Compile & Run
### Traditional pipeline
```bash
# Frontend: .jvl -> .jvav
./jvlc hello.jvl hello.jvav
# Backend: .jvav -> .bin
./jvavc hello.jvav hello.bin
# Run
./jvm hello.bin
```
### One-shot compile & run
```bash
# Compile .jvl -> .jvav -> .bin and execute, then clean up intermediates
./jvlc --run hello.jvl
# Compile & run, keeping the final binary
./jvlc --run hello.jvl -o hello.bin
```
### Multi-file Linking
```bash
./jvavc math.jvav main.jvav -o program.bin
./jvm program.bin
```
---
## Packaging
```bash
cpack -C Release
```
Generates platform-specific packages (`JVAV-x.x.x-win64.zip`, `JVAV-x.x.x-Linux.tar.gz`, etc.).
---
## Project Structure
```
JVAV/
├── jvavc/
│ ├── front/ # Frontend compiler (.jvl -> .jvav), C++17
│ ├── back/ # Backend assembler & linker (.jvav -> .bin), C++17
│ └── tools/ # Disassembler (static + trace), C99
├── jvm/ # Virtual machine executor, C99
├── std/ # Standard library (io, math, mem, string)
├── benchmark/ # Performance benchmark suite (Python)
├── tests/ # Automated tests (back: 115, front: 138)
└── docs/ # Detailed documentation
```
---
## Key Features
- **128-bit instruction format** — Every instruction is a fixed 16-byte word, with arithmetic and bitwise operations (AND, OR, XOR, SHL, SHR, NOT)
- **JVL language** — C-like syntax with functions, variables, control flow, and `import` modules
- **JVAV assembly** — ARM-like textual assembly with pseudo-instructions
- **MimiWorld ownership** — Rust-inspired ownership, move, and borrow checking (`&x`, `&mut x`)
- **Standard library** — `std/io`, `std/math`, `std/mem`, `std/string` with auto-import path resolution
- **Multi-file linker** — Structured linking with EQU global collection and base address relocation
- **Import system** — Recursive module imports with cyclic import guard
- **Disassembler** — Static disassembly and dynamic trace mode
- **Rust-style diagnostics** — Error codes, source snippets with context lines, and help messages
- **Cross-platform** — Linux, Windows & Android (x86, x64, ARM, ARM64); statically linked binaries; GitHub Actions CI with multi-arch matrix
- **PATH-ready** — `std/` directory ships alongside `bin/`; add `bin/` to PATH and use `jvlc`/`jvavc`/`jvm`/`disasm` from anywhere
- **Version flag** — All tools support `-v` / `--version`
---
## Documentation
| Document | Description |
|----------|-------------|
| [docs/frontend_syntax.md](docs/frontend_syntax.md) | JVL language syntax, type system, inference, ownership |
| [docs/backend_syntax.md](docs/backend_syntax.md) | JVAV assembly syntax and instruction set |
| [docs/jvm_features.md](docs/jvm_features.md) | VM architecture, memory model, syscalls |
| [docs/mimiworld_ownership.md](docs/mimiworld_ownership.md) | MimiWorld ownership & borrow checker |
| [docs/stdlib.md](docs/stdlib.md) | Standard library API and usage |
---
## Testing
```bash
# Run all tests via CTest
ctest --output-on-failure
# Or run individual test binaries directly
./test_back # 115 backend unit + integration tests
./test_front # 138 frontend unit + integration tests
```
Tests cover:
- **Lexer**: keywords, numbers, strings, chars, comments, symbols, CRLF compatibility, errors
- **Parser**: all types, control flow, operators, precedence, borrows, imports, error recovery
- **Semantic analysis**: type inference, ownership, borrow conflicts, uninitialized variables, scope
- **Code generation**: prologue/epilogue, locals, calls, control flow, pointers, strings
- **Backend**: all instructions, EQU, .global/.extern, DB/DW/DT, #include, encoding, linking
- **Integration**: end-to-end compile & run for arithmetic, bitwise ops, control flow, heap, recursion, imports, global variables, standard library, version flags, missing-stdlib diagnostics, Rust-style error messages, all diagnostic formats
---
## Contributors
| Name | Contribution |
|------|-------------|
| Dr.zhanghaoyang | Proposed the JVAV language |
| Dere | Initial implementation |
| Derry | Massive improvements based on the prototype (using Claude AI) |
| Claude AI | Assisted Derry in rapid development and improvements |
| Moonshot AI (Kimi) | Documentation assistance |
---
## License
MIT License