jekyll-euclid 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 743add07e4ef9648d4b86ee1ad3a4a4878d1cf2f72b268c316cc36d523a9eefe
+  data.tar.gz: 67d1cc710682a731d44f9a6d5a9f7cfeb46a9b0af00bda434c873df7f11cf471
+SHA512:
+  metadata.gz: 198f52f27b9e9d46df571a923fc5db49e92c0c003fcf2f5cb379fb09ccd8c2eda4c850df2f3e5ecad2031657f8cb69a5ee5b8a4bea66acc958c87af2b6215c11
+  data.tar.gz: 9c438ee3d1a503c88da8e45bd3ed60188e7906faeaffc16b1ccd4050f1e620ea192ec2e544b3633d07ba6e761d8044829cf82cf8197598630741568fcacf677c

data/.rspec

@@ -0,0 +1,3 @@
+--format documentation
+--color
+--require spec_helper

data/.rubocop.yml

@@ -0,0 +1,8 @@
+AllCops:
+  TargetRubyVersion: 3.0
+
+Style/StringLiterals:
+  EnforcedStyle: double_quotes
+
+Style/StringLiteralsInInterpolation:
+  EnforcedStyle: double_quotes

data/CHANGELOG.md

@@ -0,0 +1,5 @@
+## [Unreleased]
+
+## [0.1.0] - 2024-09-27
+
+- Initial release

data/LICENSE.txt

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2024 Guilherme
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

data/README.md

@@ -0,0 +1,39 @@
+# Jekyll::Euclid
+
+TODO: Delete this and the text below, and describe your gem
+
+Welcome to your new gem! In this directory, you'll find the files you need to be able to package up your Ruby library into a gem. Put your Ruby code in the file `lib/jekyll/euclid`. To experiment with that code, run `bin/console` for an interactive prompt.
+
+## Installation
+
+TODO: Replace `UPDATE_WITH_YOUR_GEM_NAME_IMMEDIATELY_AFTER_RELEASE_TO_RUBYGEMS_ORG` with your gem name right after releasing it to RubyGems.org. Please do not do it earlier due to security reasons. Alternatively, replace this section with instructions to install your gem from git if you don't plan to release to RubyGems.org.
+
+Install the gem and add to the application's Gemfile by executing:
+
+```bash
+bundle add UPDATE_WITH_YOUR_GEM_NAME_IMMEDIATELY_AFTER_RELEASE_TO_RUBYGEMS_ORG
+```
+
+If bundler is not being used to manage dependencies, install the gem by executing:
+
+```bash
+gem install UPDATE_WITH_YOUR_GEM_NAME_IMMEDIATELY_AFTER_RELEASE_TO_RUBYGEMS_ORG
+```
+
+## Usage
+
+TODO: Write usage instructions here
+
+## Development
+
+After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake spec` to run the tests. You can also run `bin/console` for an interactive prompt that will allow you to experiment.
+
+To install this gem onto your local machine, run `bundle exec rake install`. To release a new version, update the version number in `version.rb`, and then run `bundle exec rake release`, which will create a git tag for the version, push git commits and the created tag, and push the `.gem` file to [rubygems.org](https://rubygems.org).
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub at https://github.com/[USERNAME]/jekyll-euclid.
+
+## License
+
+The gem is available as open source under the terms of the [MIT License](https://opensource.org/licenses/MIT).

data/Rakefile

@@ -0,0 +1,12 @@
+# frozen_string_literal: true
+
+require "bundler/gem_tasks"
+require "rspec/core/rake_task"
+
+RSpec::Core::RakeTask.new(:spec)
+
+require "rubocop/rake_task"
+
+RuboCop::RakeTask.new
+
+task default: %i[spec rubocop]

data/lib/jekyll/converters/euclid.rb

@@ -0,0 +1,148 @@
+module Jekyll
+  module Converters
+    class EuclidConverter < Converter
+      safe true
+      priority :highest
+  
+      def matches(ext)
+        ext =~ /^\.euclid$/i
+      end
+  
+      def output_ext(ext)
+        ".html"
+      end
+  
+      def replace_theorem(content)
+        @theorem_counter += 1
+  
+        "**Theorem #{@theorem_counter}:** *#{content[8..-6].strip}*"
+      end
+  
+      def replace_lemma(content)
+        @theorem_counter += 1
+  
+        "**Lemma #{@theorem_counter}:** *#{content[6..-6].strip}*"
+      end
+  
+      def replace_corollary(content)
+        @corollary_counter += 1
+  
+        "**Corollary #{@theorem_counter}.#{@corollary_counter}:** *#{content[10..-6].strip}*"
+      end
+  
+      def replace_axiom(content)
+        @axiom_counter += 1
+  
+        "**Axiom #{@axiom_counter}:** *#{content[6..-6].strip}*"
+      end
+  
+      def replace_definition(content)
+        @definition_counter += 1
+  
+        "**Definition #{@definition_counter}:** *#{content[11..-6].strip}*"
+      end
+  
+      def replace_proof(content)
+        "*Proof.* #{content[7..-6]}"
+      end
+  
+      def get_term_index(content)
+        theorem_index = content.index("\\theorem") || 999999
+        lemma_index = content.index("\\lemma") || 999999
+        corollary_index = content.index("\\corollary") || 999999
+  
+        if theorem_index < lemma_index && theorem_index < corollary_index
+          return theorem_index, "\\theorem"
+        elsif lemma_index < corollary_index
+          return lemma_index, "\\lemma"
+        elsif corollary_index < 999999
+          return corollary_index, "\\corollary"
+        end
+  
+        return -1, nil
+      end
+  
+      def replace_theorem_terms(content, term)
+        case term
+        when "\\theorem"
+          replace_theorem(content)
+        when "\\lemma"
+          replace_lemma(content)
+        when "\\corollary"
+          replace_corollary(content)
+        end
+      end
+  
+      def replace_theorems(content)
+        @theorem_counter = 0
+  
+        term_index, term = get_term_index(content)
+  
+        if term != "\\corollary"
+          @corollary_counter = 0
+        end
+  
+        end_index = content[term_index..-1].index("\\end") + term_index
+  
+        while term_index > 0
+          term_content = content[term_index..(end_index + 3)]
+          content = content[0..(term_index - 1)] + replace_theorem_terms(term_content, term) + content[(end_index + 4)..-1]
+  
+          term_index, term = get_term_index(content)
+  
+          if term_index == -1
+            break
+          end
+  
+          end_index = content[term_index..-1].index("\\end") + term_index
+        end
+  
+        content
+      end
+  
+      def replace_term(term, content, replace_method)
+        term_index = content.index(term)
+        end_index = content[term_index..-1].index("\\end") + term_index
+  
+        while term_index > 0
+          term_content = content[term_index..(end_index + 3)]
+          content = content[0..(term_index - 1)] + replace_method.call(term_content) + content[(end_index + 4)..-1]
+          term_index = content.index(term)
+  
+          if term_index.nil?
+            break
+          end
+  
+          end_index = content[term_index..-1].index("\\end") + term_index
+  
+        end
+  
+        content
+      end
+  
+      def replace_axioms(content)
+        @axiom_counter = 0
+        replace_term("\\axiom", content, method(:replace_axiom))
+      end
+  
+      def replace_definitions(content)
+        @definition_counter = 0
+        replace_term("\\definition", content, method(:replace_definition))
+      end
+  
+      def replace_proofs(content)
+        replace_term("\\proof", content, method(:replace_proof))
+      end
+  
+      def convert(content)
+        content = replace_theorems(content)
+        content = replace_axioms(content)
+        content = replace_definitions(content)
+        content = replace_proofs(content)
+  
+  
+        Jekyll::Converters::Markdown::KramdownParser.new(Jekyll.configuration()).convert(content)
+      end
+    end
+  end
+end

data/lib/jekyll-euclid/version.rb

@@ -0,0 +1,7 @@
+# frozen_string_literal: true
+
+module Jekyll
+  module Euclid
+    VERSION = "0.1.0"
+  end
+end

data/lib/jekyll-euclid.rb

@@ -0,0 +1 @@
+require "jekyll-euclid/version"

data/sig/jekyll/euclid.rbs

@@ -0,0 +1,6 @@
+module Jekyll
+  module Euclid
+    VERSION: String
+    # See the writing guide of rbs: https://github.com/ruby/rbs#guides
+  end
+end

metadata

@@ -0,0 +1,57 @@
+--- !ruby/object:Gem::Specification
+name: jekyll-euclid
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Guilherme Nakayama
+autorequire:
+bindir: exe
+cert_chain: []
+date: 2024-10-08 00:00:00.000000000 Z
+dependencies: []
+description: This is a very simple attempt trying to mimic some of the behaviour found
+  in LaTex theoremsi system.
+email:
+- gui@tonkatsuengineering.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".rspec"
+- ".rubocop.yml"
+- CHANGELOG.md
+- LICENSE.txt
+- README.md
+- Rakefile
+- lib/jekyll-euclid.rb
+- lib/jekyll-euclid/version.rb
+- lib/jekyll/converters/euclid.rb
+- sig/jekyll/euclid.rbs
+homepage: https://github.com/GNakayama/jekyll-euclid
+licenses:
+- MIT
+metadata:
+  homepage_uri: https://github.com/GNakayama/jekyll-euclid
+  source_code_uri: https://github.com/GNakayama/jekyll-euclid
+  changelog_uri: https://github.com/GNakayama/jekyll-euclid/blob/master/CHANGELOG.md
+post_install_message:
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 3.0.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.4.19
+signing_key:
+specification_version: 4
+summary: Preprocess .euclid files.
+test_files: []