Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Binary file added .github/assets/tur-tui.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added .github/assets/tur-web.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
1 change: 0 additions & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,6 @@ on:
jobs:
test:
name: Test
if: false
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
Expand Down
19 changes: 19 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,25 @@

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

<table>
<thead>
<tr>
<th width="500px">Web</th>
<th width="500px">TUI</th>
</tr>
</thead>
<tbody>
<tr>
<td>
<a href="https://rezigned.com/tur"><img src=".github/assets/tur-web.png" /></a>
</td>
<td>
<img src=".github/assets/tur-tui.png" />
</td>
</tr>
</tbody>
</table>

## Language Overview

Tur (`.tur` files) provides a clean, readable syntax for defining both single-tape and multi-tape Turing machines. The language includes:
Expand Down
3 changes: 2 additions & 1 deletion platforms/tui/src/app.rs
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ use ratatui::{
layout::{Alignment, Constraint, Direction, Layout, Margin, Rect},
style::{Color, Modifier, Style},
text::{Line, Span, Text},
widgets::{Block, Borders, List, ListItem, Padding, Paragraph, Wrap},
widgets::{Block, BorderType, Borders, List, ListItem, Padding, Paragraph, Wrap},
Frame,
};
use tur::{
Expand Down Expand Up @@ -490,6 +490,7 @@ fn section<'a>(title: &'a str, content: Vec<Line<'a>>) -> Paragraph<'a> {
fn block(title: &str) -> Block {
Block::default()
.borders(Borders::ALL)
.border_type(BorderType::Rounded)
.title(format!(" {title} "))
.padding(BLOCK_PADDING)
}
18 changes: 17 additions & 1 deletion platforms/web/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -29,12 +29,28 @@
<!-- Custom Turing Machine Syntax Highlighter -->
<script data-trunk src="turing-editor.js"></script>
<link data-trunk rel="copy-file" href="../../.github/tur-logo-small.png" />
<link data-trunk rel="copy-file" href="../../.github/assets/tur-web.png" />

<meta property="og:title" content="Tur - Turing Machine Language Simulator">
<meta property="og:description" content="Bringing Alan Turing's foundational concepts to life through interactive visualization.">
<meta property="og:image" content="tur-web.png">

<!-- SEO Meta Tags -->
<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.">
<meta name="keywords" content="Tur, Turing machine, simulator, computer science, computation, Alan Turing, interactive, visualization, programming, educational tool">
<meta name="author" content="rezigned">

<!-- Twitter Card Meta Tags -->
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:title" content="Tur - Turing Machine Language Simulator">
<meta name="twitter:description" content="Bringing Alan Turing's foundational concepts to life through interactive visualization.">
<meta name="twitter:image" content="tur-web.png">
</head>

<body>
<div class="socials">
<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>
<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>
<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>
</div>
<header class="header">
<p align="center">
Expand Down
2 changes: 1 addition & 1 deletion platforms/web/styles.css
Original file line number Diff line number Diff line change
Expand Up @@ -81,7 +81,7 @@ body {
}

.header h1 {
font-size: 2rem;
font-size: 1.6rem;
font-weight: 500;
letter-spacing: 0.5px;
background: linear-gradient(45deg, var(--color-success), var(--color-primary));
Expand Down