Skip to content

Commit 77a98d2

Browse files
committed
Add everything from Turing.jl
1 parent 5652882 commit 77a98d2

File tree

246 files changed

+269135
-8
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

246 files changed

+269135
-8
lines changed

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,3 +2,4 @@ _site/
22
.sass-cache/
33
.jekyll-cache/
44
.jekyll-metadata
5+
.gems/

.vscode/settings.json

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
{
2+
"spellright.language": [],
3+
"spellright.documentTypes": [
4+
"latex",
5+
"plaintext"
6+
]
7+
}

CNAME

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
turing.ml

Gemfile

Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
source "https://rubygems.org"
2+
ruby RUBY_VERSION
3+
4+
# Hello! This is where you manage which Jekyll version is used to run.
5+
# When you want to use a different version, change it below, save the
6+
# file and run `bundle install`. Run Jekyll with `bundle exec`, like so:
7+
#
8+
# bundle exec jekyll serve
9+
#
10+
# This will help ensure the proper Jekyll version is running.
11+
# Happy Jekylling!
12+
# gem "jekyll", "3.2.1"
13+
gem "jekyll"
14+
gem "faraday", "0.15.4"
15+
16+
gem "jekyll-paginate"
17+
gem "jekyll-sitemap"
18+
gem "jekyll-gist"
19+
gem "jekyll-feed"
20+
gem "jemoji"
21+
22+
# This is the default theme for new Jekyll sites. You may change this to anything you like.
23+
# gem "minima"
24+
25+
# If you want to use GitHub Pages, remove the "gem "jekyll"" above and
26+
# uncomment the line below. To upgrade, run `bundle update github-pages`.
27+
# gem "github-pages", group: :jekyll_plugins
28+
29+
# If you have any plugins, put them here!
30+
# group :jekyll_plugins do
31+
# gem "jekyll-github-metadata", "~> 1.0"
32+
# end

Gemfile.lock

Lines changed: 114 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,114 @@
1+
GEM
2+
remote: https://rubygems.org/
3+
specs:
4+
activesupport (6.0.3.1)
5+
concurrent-ruby (~> 1.0, >= 1.0.2)
6+
i18n (>= 0.7, < 2)
7+
minitest (~> 5.1)
8+
tzinfo (~> 1.1)
9+
zeitwerk (~> 2.2, >= 2.2.2)
10+
addressable (2.7.0)
11+
public_suffix (>= 2.0.2, < 5.0)
12+
colorator (1.1.0)
13+
concurrent-ruby (1.1.6)
14+
em-websocket (0.5.1)
15+
eventmachine (>= 0.12.9)
16+
http_parser.rb (~> 0.6.0)
17+
eventmachine (1.2.7)
18+
faraday (0.15.4)
19+
multipart-post (>= 1.2, < 3)
20+
ffi (1.13.1)
21+
forwardable-extended (2.6.0)
22+
gemoji (3.0.1)
23+
html-pipeline (2.13.0)
24+
activesupport (>= 2)
25+
nokogiri (>= 1.4)
26+
http_parser.rb (0.6.0)
27+
i18n (1.8.3)
28+
concurrent-ruby (~> 1.0)
29+
jekyll (4.1.0)
30+
addressable (~> 2.4)
31+
colorator (~> 1.0)
32+
em-websocket (~> 0.5)
33+
i18n (~> 1.0)
34+
jekyll-sass-converter (~> 2.0)
35+
jekyll-watch (~> 2.0)
36+
kramdown (~> 2.1)
37+
kramdown-parser-gfm (~> 1.0)
38+
liquid (~> 4.0)
39+
mercenary (~> 0.4.0)
40+
pathutil (~> 0.9)
41+
rouge (~> 3.0)
42+
safe_yaml (~> 1.0)
43+
terminal-table (~> 1.8)
44+
jekyll-feed (0.13.0)
45+
jekyll (>= 3.7, < 5.0)
46+
jekyll-gist (1.5.0)
47+
octokit (~> 4.2)
48+
jekyll-paginate (1.1.0)
49+
jekyll-sass-converter (2.1.0)
50+
sassc (> 2.0.1, < 3.0)
51+
jekyll-sitemap (1.4.0)
52+
jekyll (>= 3.7, < 5.0)
53+
jekyll-watch (2.2.1)
54+
listen (~> 3.0)
55+
jemoji (0.12.0)
56+
gemoji (~> 3.0)
57+
html-pipeline (~> 2.2)
58+
jekyll (>= 3.0, < 5.0)
59+
kramdown (2.2.1)
60+
rexml
61+
kramdown-parser-gfm (1.1.0)
62+
kramdown (~> 2.0)
63+
liquid (4.0.3)
64+
listen (3.2.1)
65+
rb-fsevent (~> 0.10, >= 0.10.3)
66+
rb-inotify (~> 0.9, >= 0.9.10)
67+
mercenary (0.4.0)
68+
mini_portile2 (2.4.0)
69+
minitest (5.14.1)
70+
multipart-post (2.1.1)
71+
nokogiri (1.10.9)
72+
mini_portile2 (~> 2.4.0)
73+
octokit (4.18.0)
74+
faraday (>= 0.9)
75+
sawyer (~> 0.8.0, >= 0.5.3)
76+
pathutil (0.16.2)
77+
forwardable-extended (~> 2.6)
78+
public_suffix (4.0.5)
79+
rb-fsevent (0.10.4)
80+
rb-inotify (0.10.1)
81+
ffi (~> 1.0)
82+
rexml (3.2.4)
83+
rouge (3.19.0)
84+
safe_yaml (1.0.5)
85+
sassc (2.4.0)
86+
ffi (~> 1.9)
87+
sawyer (0.8.2)
88+
addressable (>= 2.3.5)
89+
faraday (> 0.8, < 2.0)
90+
terminal-table (1.8.0)
91+
unicode-display_width (~> 1.1, >= 1.1.1)
92+
thread_safe (0.3.6)
93+
tzinfo (1.2.7)
94+
thread_safe (~> 0.1)
95+
unicode-display_width (1.7.0)
96+
zeitwerk (2.3.0)
97+
98+
PLATFORMS
99+
ruby
100+
101+
DEPENDENCIES
102+
faraday (= 0.15.4)
103+
jekyll
104+
jekyll-feed
105+
jekyll-gist
106+
jekyll-paginate
107+
jekyll-sitemap
108+
jemoji
109+
110+
RUBY VERSION
111+
ruby 2.7.0p0
112+
113+
BUNDLED WITH
114+
2.1.4

LICENSE

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
MIT License
1+
The MIT License
22

3-
Copyright (c) 2020 The Turing Language
3+
Copyright (c) 2018-2019 Vanessa Sochat
44

55
Permission is hereby granted, free of charge, to any person obtaining a copy
66
of this software and associated documentation files (the "Software"), to deal
@@ -9,13 +9,13 @@ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
99
copies of the Software, and to permit persons to whom the Software is
1010
furnished to do so, subject to the following conditions:
1111

12-
The above copyright notice and this permission notice shall be included in all
13-
copies or substantial portions of the Software.
12+
The above copyright notice and this permission notice shall be included in
13+
all copies or substantial portions of the Software.
1414

1515
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
1616
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
1717
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
1818
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
1919
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20-
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21-
SOFTWARE.
20+
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
21+
THE SOFTWARE.

0 commit comments

Comments
 (0)