https://github.com/steake/tinysol
TinySol is a subset of Solidity, designed to be compatible with Brainfuck, a Turing-complete language with a minimalist instruction set. This project includes a compiler that translates TinySol code into Brainfuck, allowing for the execution of smart contracts and other logic within the Brainfuck environment, suitable for execution on TinyChain.
https://github.com/steake/tinysol
brainfuck brainfuck-compiler smart-contracts tinychain zk-brainfuck
Last synced: 4 months ago
JSON representation
TinySol is a subset of Solidity, designed to be compatible with Brainfuck, a Turing-complete language with a minimalist instruction set. This project includes a compiler that translates TinySol code into Brainfuck, allowing for the execution of smart contracts and other logic within the Brainfuck environment, suitable for execution on TinyChain.
- Host: GitHub
- URL: https://github.com/steake/tinysol
- Owner: Steake
- License: gpl-3.0
- Created: 2023-12-15T20:37:53.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2024-11-19T23:05:23.000Z (over 1 year ago)
- Last Synced: 2025-01-13T16:48:34.428Z (over 1 year ago)
- Topics: brainfuck, brainfuck-compiler, smart-contracts, tinychain, zk-brainfuck
- Language: Python
- Homepage:
- Size: 243 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Funding: .github/FUNDING.yml
- License: LICENSE
Awesome Lists containing this project
README
# TinySol to Brainfuck Translator
---
## Overview
TinySol is a sophisticated source-to-source compiler that translates a subset of a high-level programming language (TinySol) to Brainfuck, a minimalist Turing-complete programming language. This project demonstrates advanced compiler design principles, including abstract syntax tree (AST) manipulation, memory management, and code generation.
## Features
- Modular translation architecture
- Support for complex computational scenarios
- Turing-complete translation
- Extensive test coverage
- Flexible and extensible design
## Architecture
### Translation Modules
The translation process is broken down into specialized modules:
1. **Memory Management** (`memory_manager.py`)
- Tracks memory allocation
- Manages memory cell tracking
- Supports complex memory operations
2. **Base Translator** (`base_translator.py`)
- Provides core translation utilities
- Implements fundamental translation methods
3. **Arithmetic Translator** (`arithmetic_translator.py`)
- Handles arithmetic operations
- Translates multiplication, addition, and modulo operations
- Implements complex Brainfuck arithmetic algorithms
4. **Condition Translator** (`condition_translator.py`)
- Manages conditional logic translation
- Supports various comparison and logical operations
5. **Expression Translator** (`expression_translator.py`)
- Translates complex expressions
- Handles binary and unary expressions
- Manages memory cell allocation for expressions
6. **Statement Translator** (`statement_translator.py`)
- Translates programming constructs
- Supports variable declarations
- Handles loops and conditional statements
7. **Node Translators** (`node_translators.py`)
- Orchestrates the overall translation process
- Coordinates between different translation modules
## Supported Constructs
- Variable declarations
- Arithmetic operations (+, -, *, /)
- Comparison operations (==, <=, <, >, >=)
- Logical operations (&&, ||)
- For loops
- Conditional statements (if)
## Installation
```bash
git clone https://github.com/steake/TinySol.git
cd TinySol
pip install -r requirements.txt
```
## Running Tests
```bash
python run_tests.py
```
## Example
```python
# TinySol code
tinysol_code = """
int n = 5;
int factorial = 1;
for (int i = 1; i <= n; i++) {
factorial = factorial * i;
}
"""
# Translate to Brainfuck
brainfuck_code = translate_to_brainfuck(tinysol_code)
```
## Limitations
- Subset of language features supported
- Complex computational scenarios may require optimization
- Performance overhead due to translation complexity
## Future Improvements
- Enhanced arithmetic algorithms
- More comprehensive language support
- Performance optimizations
- Additional test cases
## Contributing
Contributions are welcome! Please submit pull requests or open issues on GitHub.
## Author
GitHub: @steake