Skip to content

Commit 4633eda

Browse files
committed
chore: add screenshots
1 parent dd23b0b commit 4633eda

File tree

7 files changed

+23
-4
lines changed

7 files changed

+23
-4
lines changed

.github/assets/tur-tui.png

43.4 KB
Loading

.github/assets/tur-web.png

58.4 KB
Loading

.github/workflows/ci.yml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,6 @@ on:
2323
jobs:
2424
test:
2525
name: Test
26-
if: false
2726
runs-on: ubuntu-latest
2827
steps:
2928
- uses: actions/checkout@v4

README.md

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,25 @@
88

99
**Tur** is a language for defining and executing Turing machines, complete with parser, interpreter, and multi-platform visualization tools.
1010

11+
<table>
12+
<thead>
13+
<tr>
14+
<th width="500px">Web</th>
15+
<th width="500px">TUI</th>
16+
</tr>
17+
</thead>
18+
<tbody>
19+
<tr>
20+
<td>
21+
<a href="https://rezigned.com/tur"><img src=".github/assets/tur-web.png" /></a>
22+
</td>
23+
<td>
24+
<img src=".github/assets/tur-tui.png" />
25+
</td>
26+
</tr>
27+
</tbody>
28+
</table>
29+
1130
## Language Overview
1231

1332
Tur (`.tur` files) provides a clean, readable syntax for defining both single-tape and multi-tape Turing machines. The language includes:

platforms/tui/src/app.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ use ratatui::{
44
layout::{Alignment, Constraint, Direction, Layout, Margin, Rect},
55
style::{Color, Modifier, Style},
66
text::{Line, Span, Text},
7-
widgets::{Block, Borders, List, ListItem, Padding, Paragraph, Wrap},
7+
widgets::{Block, BorderType, Borders, List, ListItem, Padding, Paragraph, Wrap},
88
Frame,
99
};
1010
use tur::{
@@ -490,6 +490,7 @@ fn section<'a>(title: &'a str, content: Vec<Line<'a>>) -> Paragraph<'a> {
490490
fn block(title: &str) -> Block {
491491
Block::default()
492492
.borders(Borders::ALL)
493+
.border_type(BorderType::Rounded)
493494
.title(format!(" {title} "))
494495
.padding(BLOCK_PADDING)
495496
}

platforms/web/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@
3434
<body>
3535
<div class="socials">
3636
<a class="github-stars" href="https://github.com/rezigned/tur" target="_blank"><img src="https://img.shields.io/github/stars/rezigned/tur?style=social" alt="GitHub stars"></a>
37-
<a class="github-forks" href="https://github.com/rezigned/tur" target="_blank"><img src="https://img.shields.io/github/forks/rezigned/tur?style=social" alt="GitHub forks"></a>
37+
<a class="github-user" href="https://github.com/rezigned" target="_blank"><img alt="Static Badge" src="https://img.shields.io/badge/-grey?style=social&label=%40rezigned&link=https%3A%2F%2Fgithub.com%2Frezigned"></a>
3838
</div>
3939
<header class="header">
4040
<p align="center">

platforms/web/styles.css

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -81,7 +81,7 @@ body {
8181
}
8282

8383
.header h1 {
84-
font-size: 2rem;
84+
font-size: 1.6rem;
8585
font-weight: 500;
8686
letter-spacing: 0.5px;
8787
background: linear-gradient(45deg, var(--color-success), var(--color-primary));

0 commit comments

Comments
 (0)