Skip to content

Commit 7c4a939

Browse files
authored
Merge pull request #4 from rezigned/add-screenshots
chore: add screenshots
2 parents dd23b0b + 2847e03 commit 7c4a939

File tree

7 files changed

+39
-4
lines changed

7 files changed

+39
-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: 17 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,12 +29,28 @@
2929
<!-- Custom Turing Machine Syntax Highlighter -->
3030
<script data-trunk src="turing-editor.js"></script>
3131
<link data-trunk rel="copy-file" href="../../.github/tur-logo-small.png" />
32+
<link data-trunk rel="copy-file" href="../../.github/assets/tur-web.png" />
33+
34+
<meta property="og:title" content="Tur - Turing Machine Language Simulator">
35+
<meta property="og:description" content="Bringing Alan Turing's foundational concepts to life through interactive visualization.">
36+
<meta property="og:image" content="tur-web.png">
37+
38+
<!-- SEO Meta Tags -->
39+
<meta name="description" content="An interactive simulator for Tur, a Turing machine language. It brings Alan Turing's concepts to life. Design, visualize, and run Turing machine programs right in your browser.">
40+
<meta name="keywords" content="Tur, Turing machine, simulator, computer science, computation, Alan Turing, interactive, visualization, programming, educational tool">
41+
<meta name="author" content="rezigned">
42+
43+
<!-- Twitter Card Meta Tags -->
44+
<meta name="twitter:card" content="summary_large_image">
45+
<meta name="twitter:title" content="Tur - Turing Machine Language Simulator">
46+
<meta name="twitter:description" content="Bringing Alan Turing's foundational concepts to life through interactive visualization.">
47+
<meta name="twitter:image" content="tur-web.png">
3248
</head>
3349

3450
<body>
3551
<div class="socials">
3652
<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>
53+
<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>
3854
</div>
3955
<header class="header">
4056
<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)