Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/dafny-lang/dafny-lang.github.io

https://github.com/dafny-lang/dafny-lang.github.io

Science Score: 13.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ○
    CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ○
    .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (6.5%) to scientific vocabulary
Last synced: 9 months ago · JSON representation

Repository

Basic Info
  • Host: GitHub
  • Owner: dafny-lang
  • License: mit
  • Language: TeX
  • Default Branch: main
  • Size: 5.91 MB
Statistics
  • Stars: 2
  • Watchers: 7
  • Forks: 2
  • Open Issues: 1
  • Releases: 0
Created about 4 years ago · Last pushed 10 months ago
Metadata Files
Readme License

README.md

layout: default

Snapshots of documentation

The current development work and git history of documentation is in the dafny-lang/dafny repository, in the docs folder.

This dafny-lang/dafny.github.io repo is the target for https://dafny.org and is the entry point to all the user-facing documentation about Dafny.

At the top-level is just the index.html landing page, supporting files (e.g., images) and files needed for the Github markdown translation.

Sub-folders contain snapshots of the Dafny documentation at the time of each release (beginning with 3.9.0). Each snapshot is in its own folder, e.g. dafny.org/vX.Y.Z, with latest containing the most recent, and dev redirecting to the development docs.

dafny.org/dafny also resolves to the development docs. In fact, while dafny.org exists and maps to dafny-lang.github.io (as it currently does), it appears that if we want the development docs (which are in a different repo) to be linked under and subject to the same markdown processing, we need to live with the automatically produced dafny.org/dafny mapping for dafny-lang/dafny/docs.

Owner

  • Name: Dafny
  • Login: dafny-lang
  • Kind: organization

Dafny is a verification-aware programming language

GitHub Events

Total
  • Delete event: 3
  • Push event: 12
  • Pull request review comment event: 5
  • Pull request review event: 10
  • Pull request event: 9
  • Create event: 3
Last Year
  • Delete event: 3
  • Push event: 12
  • Pull request review comment event: 5
  • Pull request review event: 10
  • Pull request event: 9
  • Create event: 3

Issues and Pull Requests

Last synced: 10 months ago

All Time
  • Total issues: 2
  • Total pull requests: 50
  • Average time to close issues: 29 days
  • Average time to close pull requests: 15 days
  • Total issue authors: 2
  • Total pull request authors: 11
  • Average comments per issue: 3.0
  • Average comments per pull request: 0.62
  • Merged pull requests: 41
  • Bot issues: 0
  • Bot pull requests: 0
Past Year
  • Issues: 0
  • Pull requests: 8
  • Average time to close issues: N/A
  • Average time to close pull requests: about 23 hours
  • Issue authors: 0
  • Pull request authors: 4
  • Average comments per issue: 0
  • Average comments per pull request: 0.0
  • Merged pull requests: 7
  • Bot issues: 0
  • Bot pull requests: 0
View more stats
Top Authors
Issue Authors
  • ple1n (1)
  • dijkstracula (1)
Pull Request Authors
  • davidcok (22)
  • fabiomadge (11)
  • robin-aws (6)
  • MikaelMayer (5)
  • keyboardDrummer (3)
  • alex-chew (3)
  • jtristan (3)
  • olivier-aws (2)
  • stefan-aws (2)
  • cpitclaudel (1)
  • Timmmm (1)
Top Labels
Issue Labels
Pull Request Labels

Dependencies

Gemfile rubygems
  • github-pages ~> 225 development
  • jekyll-numbered-headings >= 0
  • kramdown >= 2.3.1
  • minima ~> 2.5
  • tzinfo ~> 1.2
  • tzinfo-data >= 0
  • wdm ~> 0.1.1
Gemfile.lock rubygems
  • activesupport 6.0.5
  • addressable 2.8.0
  • coffee-script 2.4.1
  • coffee-script-source 1.11.1
  • colorator 1.1.0
  • commonmarker 0.23.6
  • concurrent-ruby 1.1.10
  • dnsruby 1.61.9
  • em-websocket 0.5.3
  • ethon 0.15.0
  • eventmachine 1.2.7
  • execjs 2.8.1
  • faraday 2.3.0
  • faraday-net_http 2.0.3
  • ffi 1.15.5
  • forwardable-extended 2.6.0
  • gemoji 3.0.1
  • github-pages 225
  • github-pages-health-check 1.17.9
  • html-pipeline 2.14.1
  • http_parser.rb 0.8.0
  • i18n 0.9.5
  • jekyll 3.9.0
  • jekyll-avatar 0.7.0
  • jekyll-coffeescript 1.1.1
  • jekyll-commonmark 1.4.0
  • jekyll-commonmark-ghpages 0.2.0
  • jekyll-default-layout 0.1.4
  • jekyll-feed 0.15.1
  • jekyll-gist 1.5.0
  • jekyll-github-metadata 2.13.0
  • jekyll-include-cache 0.2.1
  • jekyll-mentions 1.6.0
  • jekyll-numbered-headings 0.1.1
  • jekyll-optional-front-matter 0.3.2
  • jekyll-paginate 1.1.0
  • jekyll-readme-index 0.3.0
  • jekyll-redirect-from 0.16.0
  • jekyll-relative-links 0.6.1
  • jekyll-remote-theme 0.4.3
  • jekyll-sass-converter 1.5.2
  • jekyll-seo-tag 2.8.0
  • jekyll-sitemap 1.4.0
  • jekyll-swiss 1.0.0
  • jekyll-theme-architect 0.2.0
  • jekyll-theme-cayman 0.2.0
  • jekyll-theme-dinky 0.2.0
  • jekyll-theme-hacker 0.2.0
  • jekyll-theme-leap-day 0.2.0
  • jekyll-theme-merlot 0.2.0
  • jekyll-theme-midnight 0.2.0
  • jekyll-theme-minimal 0.2.0
  • jekyll-theme-modernist 0.2.0
  • jekyll-theme-primer 0.6.0
  • jekyll-theme-slate 0.2.0
  • jekyll-theme-tactile 0.2.0
  • jekyll-theme-time-machine 0.2.0
  • jekyll-titles-from-headings 0.5.3
  • jekyll-watch 2.2.1
  • jemoji 0.12.0
  • kramdown 2.3.1
  • kramdown-parser-gfm 1.1.0
  • liquid 4.0.3
  • listen 3.7.1
  • mercenary 0.3.6
  • minima 2.5.1
  • minitest 5.15.0
  • nokogiri 1.13.6
  • octokit 4.25.0
  • pathutil 0.16.2
  • public_suffix 4.0.7
  • racc 1.6.0
  • rb-fsevent 0.11.1
  • rb-inotify 0.10.1
  • rexml 3.2.5
  • rouge 3.26.0
  • ruby2_keywords 0.0.5
  • rubyzip 2.3.2
  • safe_yaml 1.0.5
  • sass 3.7.4
  • sass-listen 4.0.0
  • sawyer 0.9.2
  • simpleidn 0.2.1
  • terminal-table 1.8.0
  • thread_safe 0.3.6
  • typhoeus 1.4.0
  • tzinfo 1.2.10
  • unf 0.1.4
  • unf_ext 0.0.8.2
  • unicode-display_width 1.8.0
  • zeitwerk 2.5.4
latest/Gemfile rubygems
  • github-pages ~> 225 development
  • jekyll-numbered-headings >= 0
  • kramdown >= 2.3.1
  • minima ~> 2.5
  • tzinfo ~> 1.2
  • tzinfo-data >= 0
  • wdm ~> 0.1.1
latest/Gemfile.lock rubygems
  • activesupport 6.0.5
  • addressable 2.8.0
  • coffee-script 2.4.1
  • coffee-script-source 1.11.1
  • colorator 1.1.0
  • commonmarker 0.23.6
  • concurrent-ruby 1.1.10
  • dnsruby 1.61.9
  • em-websocket 0.5.3
  • ethon 0.15.0
  • eventmachine 1.2.7
  • execjs 2.8.1
  • faraday 2.3.0
  • faraday-net_http 2.0.3
  • ffi 1.15.5
  • forwardable-extended 2.6.0
  • gemoji 3.0.1
  • github-pages 225
  • github-pages-health-check 1.17.9
  • html-pipeline 2.14.1
  • http_parser.rb 0.8.0
  • i18n 0.9.5
  • jekyll 3.9.0
  • jekyll-avatar 0.7.0
  • jekyll-coffeescript 1.1.1
  • jekyll-commonmark 1.4.0
  • jekyll-commonmark-ghpages 0.2.0
  • jekyll-default-layout 0.1.4
  • jekyll-feed 0.15.1
  • jekyll-gist 1.5.0
  • jekyll-github-metadata 2.13.0
  • jekyll-include-cache 0.2.1
  • jekyll-mentions 1.6.0
  • jekyll-numbered-headings 0.1.1
  • jekyll-optional-front-matter 0.3.2
  • jekyll-paginate 1.1.0
  • jekyll-readme-index 0.3.0
  • jekyll-redirect-from 0.16.0
  • jekyll-relative-links 0.6.1
  • jekyll-remote-theme 0.4.3
  • jekyll-sass-converter 1.5.2
  • jekyll-seo-tag 2.8.0
  • jekyll-sitemap 1.4.0
  • jekyll-swiss 1.0.0
  • jekyll-theme-architect 0.2.0
  • jekyll-theme-cayman 0.2.0
  • jekyll-theme-dinky 0.2.0
  • jekyll-theme-hacker 0.2.0
  • jekyll-theme-leap-day 0.2.0
  • jekyll-theme-merlot 0.2.0
  • jekyll-theme-midnight 0.2.0
  • jekyll-theme-minimal 0.2.0
  • jekyll-theme-modernist 0.2.0
  • jekyll-theme-primer 0.6.0
  • jekyll-theme-slate 0.2.0
  • jekyll-theme-tactile 0.2.0
  • jekyll-theme-time-machine 0.2.0
  • jekyll-titles-from-headings 0.5.3
  • jekyll-watch 2.2.1
  • jemoji 0.12.0
  • kramdown 2.3.1
  • kramdown-parser-gfm 1.1.0
  • liquid 4.0.3
  • listen 3.7.1
  • mercenary 0.3.6
  • mini_portile2 2.8.0
  • minima 2.5.1
  • minitest 5.15.0
  • nokogiri 1.13.10
  • octokit 4.25.0
  • pathutil 0.16.2
  • public_suffix 4.0.7
  • racc 1.6.1
  • rb-fsevent 0.11.1
  • rb-inotify 0.10.1
  • rexml 3.2.5
  • rouge 3.26.0
  • ruby2_keywords 0.0.5
  • rubyzip 2.3.2
  • safe_yaml 1.0.5
  • sass 3.7.4
  • sass-listen 4.0.0
  • sawyer 0.9.2
  • simpleidn 0.2.1
  • terminal-table 1.8.0
  • thread_safe 0.3.6
  • typhoeus 1.4.0
  • tzinfo 1.2.10
  • unf 0.1.4
  • unf_ext 0.0.8.2
  • unicode-display_width 1.8.0
  • zeitwerk 2.5.4
v3.10.0/Gemfile rubygems
  • github-pages ~> 225 development
  • jekyll-numbered-headings >= 0
  • kramdown >= 2.3.1
  • minima ~> 2.5
  • tzinfo ~> 1.2
  • tzinfo-data >= 0
  • wdm ~> 0.1.1
v3.10.0/Gemfile.lock rubygems
  • activesupport 6.0.5
  • addressable 2.8.0
  • coffee-script 2.4.1
  • coffee-script-source 1.11.1
  • colorator 1.1.0
  • commonmarker 0.23.6
  • concurrent-ruby 1.1.10
  • dnsruby 1.61.9
  • em-websocket 0.5.3
  • ethon 0.15.0
  • eventmachine 1.2.7
  • execjs 2.8.1
  • faraday 2.3.0
  • faraday-net_http 2.0.3
  • ffi 1.15.5
  • forwardable-extended 2.6.0
  • gemoji 3.0.1
  • github-pages 225
  • github-pages-health-check 1.17.9
  • html-pipeline 2.14.1
  • http_parser.rb 0.8.0
  • i18n 0.9.5
  • jekyll 3.9.0
  • jekyll-avatar 0.7.0
  • jekyll-coffeescript 1.1.1
  • jekyll-commonmark 1.4.0
  • jekyll-commonmark-ghpages 0.2.0
  • jekyll-default-layout 0.1.4
  • jekyll-feed 0.15.1
  • jekyll-gist 1.5.0
  • jekyll-github-metadata 2.13.0
  • jekyll-include-cache 0.2.1
  • jekyll-mentions 1.6.0
  • jekyll-numbered-headings 0.1.1
  • jekyll-optional-front-matter 0.3.2
  • jekyll-paginate 1.1.0
  • jekyll-readme-index 0.3.0
  • jekyll-redirect-from 0.16.0
  • jekyll-relative-links 0.6.1
  • jekyll-remote-theme 0.4.3
  • jekyll-sass-converter 1.5.2
  • jekyll-seo-tag 2.8.0
  • jekyll-sitemap 1.4.0
  • jekyll-swiss 1.0.0
  • jekyll-theme-architect 0.2.0
  • jekyll-theme-cayman 0.2.0
  • jekyll-theme-dinky 0.2.0
  • jekyll-theme-hacker 0.2.0
  • jekyll-theme-leap-day 0.2.0
  • jekyll-theme-merlot 0.2.0
  • jekyll-theme-midnight 0.2.0
  • jekyll-theme-minimal 0.2.0
  • jekyll-theme-modernist 0.2.0
  • jekyll-theme-primer 0.6.0
  • jekyll-theme-slate 0.2.0
  • jekyll-theme-tactile 0.2.0
  • jekyll-theme-time-machine 0.2.0
  • jekyll-titles-from-headings 0.5.3
  • jekyll-watch 2.2.1
  • jemoji 0.12.0
  • kramdown 2.3.1
  • kramdown-parser-gfm 1.1.0
  • liquid 4.0.3
  • listen 3.7.1
  • mercenary 0.3.6
  • mini_portile2 2.8.0
  • minima 2.5.1
  • minitest 5.15.0
  • nokogiri 1.13.10
  • octokit 4.25.0
  • pathutil 0.16.2
  • public_suffix 4.0.7
  • racc 1.6.1
  • rb-fsevent 0.11.1
  • rb-inotify 0.10.1
  • rexml 3.2.5
  • rouge 3.26.0
  • ruby2_keywords 0.0.5
  • rubyzip 2.3.2
  • safe_yaml 1.0.5
  • sass 3.7.4
  • sass-listen 4.0.0
  • sawyer 0.9.2
  • simpleidn 0.2.1
  • terminal-table 1.8.0
  • thread_safe 0.3.6
  • typhoeus 1.4.0
  • tzinfo 1.2.10
  • unf 0.1.4
  • unf_ext 0.0.8.2
  • unicode-display_width 1.8.0
  • zeitwerk 2.5.4
v3.9.0/Gemfile rubygems
  • github-pages ~> 225 development
  • jekyll-numbered-headings >= 0
  • kramdown >= 2.3.1
  • minima ~> 2.5
  • tzinfo ~> 1.2
  • tzinfo-data >= 0
  • wdm ~> 0.1.1
v3.9.0/Gemfile.lock rubygems
  • activesupport 6.0.5
  • addressable 2.8.0
  • coffee-script 2.4.1
  • coffee-script-source 1.11.1
  • colorator 1.1.0
  • commonmarker 0.23.6
  • concurrent-ruby 1.1.10
  • dnsruby 1.61.9
  • em-websocket 0.5.3
  • ethon 0.15.0
  • eventmachine 1.2.7
  • execjs 2.8.1
  • faraday 2.3.0
  • faraday-net_http 2.0.3
  • ffi 1.15.5
  • forwardable-extended 2.6.0
  • gemoji 3.0.1
  • github-pages 225
  • github-pages-health-check 1.17.9
  • html-pipeline 2.14.1
  • http_parser.rb 0.8.0
  • i18n 0.9.5
  • jekyll 3.9.0
  • jekyll-avatar 0.7.0
  • jekyll-coffeescript 1.1.1
  • jekyll-commonmark 1.4.0
  • jekyll-commonmark-ghpages 0.2.0
  • jekyll-default-layout 0.1.4
  • jekyll-feed 0.15.1
  • jekyll-gist 1.5.0
  • jekyll-github-metadata 2.13.0
  • jekyll-include-cache 0.2.1
  • jekyll-mentions 1.6.0
  • jekyll-numbered-headings 0.1.1
  • jekyll-optional-front-matter 0.3.2
  • jekyll-paginate 1.1.0
  • jekyll-readme-index 0.3.0
  • jekyll-redirect-from 0.16.0
  • jekyll-relative-links 0.6.1
  • jekyll-remote-theme 0.4.3
  • jekyll-sass-converter 1.5.2
  • jekyll-seo-tag 2.8.0
  • jekyll-sitemap 1.4.0
  • jekyll-swiss 1.0.0
  • jekyll-theme-architect 0.2.0
  • jekyll-theme-cayman 0.2.0
  • jekyll-theme-dinky 0.2.0
  • jekyll-theme-hacker 0.2.0
  • jekyll-theme-leap-day 0.2.0
  • jekyll-theme-merlot 0.2.0
  • jekyll-theme-midnight 0.2.0
  • jekyll-theme-minimal 0.2.0
  • jekyll-theme-modernist 0.2.0
  • jekyll-theme-primer 0.6.0
  • jekyll-theme-slate 0.2.0
  • jekyll-theme-tactile 0.2.0
  • jekyll-theme-time-machine 0.2.0
  • jekyll-titles-from-headings 0.5.3
  • jekyll-watch 2.2.1
  • jemoji 0.12.0
  • kramdown 2.3.1
  • kramdown-parser-gfm 1.1.0
  • liquid 4.0.3
  • listen 3.7.1
  • mercenary 0.3.6
  • minima 2.5.1
  • minitest 5.15.0
  • nokogiri 1.13.6
  • octokit 4.25.0
  • pathutil 0.16.2
  • public_suffix 4.0.7
  • racc 1.6.0
  • rb-fsevent 0.11.1
  • rb-inotify 0.10.1
  • rexml 3.2.5
  • rouge 3.26.0
  • ruby2_keywords 0.0.5
  • rubyzip 2.3.2
  • safe_yaml 1.0.5
  • sass 3.7.4
  • sass-listen 4.0.0
  • sawyer 0.9.2
  • simpleidn 0.2.1
  • terminal-table 1.8.0
  • thread_safe 0.3.6
  • typhoeus 1.4.0
  • tzinfo 1.2.10
  • unf 0.1.4
  • unf_ext 0.0.8.2
  • unicode-display_width 1.8.0
  • zeitwerk 2.5.4
v3.9.1/Gemfile rubygems
  • github-pages ~> 225 development
  • jekyll-numbered-headings >= 0
  • kramdown >= 2.3.1
  • minima ~> 2.5
  • tzinfo ~> 1.2
  • tzinfo-data >= 0
  • wdm ~> 0.1.1
v3.9.1/Gemfile.lock rubygems
  • activesupport 6.0.5
  • addressable 2.8.0
  • coffee-script 2.4.1
  • coffee-script-source 1.11.1
  • colorator 1.1.0
  • commonmarker 0.23.6
  • concurrent-ruby 1.1.10
  • dnsruby 1.61.9
  • em-websocket 0.5.3
  • ethon 0.15.0
  • eventmachine 1.2.7
  • execjs 2.8.1
  • faraday 2.3.0
  • faraday-net_http 2.0.3
  • ffi 1.15.5
  • forwardable-extended 2.6.0
  • gemoji 3.0.1
  • github-pages 225
  • github-pages-health-check 1.17.9
  • html-pipeline 2.14.1
  • http_parser.rb 0.8.0
  • i18n 0.9.5
  • jekyll 3.9.0
  • jekyll-avatar 0.7.0
  • jekyll-coffeescript 1.1.1
  • jekyll-commonmark 1.4.0
  • jekyll-commonmark-ghpages 0.2.0
  • jekyll-default-layout 0.1.4
  • jekyll-feed 0.15.1
  • jekyll-gist 1.5.0
  • jekyll-github-metadata 2.13.0
  • jekyll-include-cache 0.2.1
  • jekyll-mentions 1.6.0
  • jekyll-numbered-headings 0.1.1
  • jekyll-optional-front-matter 0.3.2
  • jekyll-paginate 1.1.0
  • jekyll-readme-index 0.3.0
  • jekyll-redirect-from 0.16.0
  • jekyll-relative-links 0.6.1
  • jekyll-remote-theme 0.4.3
  • jekyll-sass-converter 1.5.2
  • jekyll-seo-tag 2.8.0
  • jekyll-sitemap 1.4.0
  • jekyll-swiss 1.0.0
  • jekyll-theme-architect 0.2.0
  • jekyll-theme-cayman 0.2.0
  • jekyll-theme-dinky 0.2.0
  • jekyll-theme-hacker 0.2.0
  • jekyll-theme-leap-day 0.2.0
  • jekyll-theme-merlot 0.2.0
  • jekyll-theme-midnight 0.2.0
  • jekyll-theme-minimal 0.2.0
  • jekyll-theme-modernist 0.2.0
  • jekyll-theme-primer 0.6.0
  • jekyll-theme-slate 0.2.0
  • jekyll-theme-tactile 0.2.0
  • jekyll-theme-time-machine 0.2.0
  • jekyll-titles-from-headings 0.5.3
  • jekyll-watch 2.2.1
  • jemoji 0.12.0
  • kramdown 2.3.1
  • kramdown-parser-gfm 1.1.0
  • liquid 4.0.3
  • listen 3.7.1
  • mercenary 0.3.6
  • mini_portile2 2.8.0
  • minima 2.5.1
  • minitest 5.15.0
  • nokogiri 1.13.9
  • octokit 4.25.0
  • pathutil 0.16.2
  • public_suffix 4.0.7
  • racc 1.6.0
  • rb-fsevent 0.11.1
  • rb-inotify 0.10.1
  • rexml 3.2.5
  • rouge 3.26.0
  • ruby2_keywords 0.0.5
  • rubyzip 2.3.2
  • safe_yaml 1.0.5
  • sass 3.7.4
  • sass-listen 4.0.0
  • sawyer 0.9.2
  • simpleidn 0.2.1
  • terminal-table 1.8.0
  • thread_safe 0.3.6
  • typhoeus 1.4.0
  • tzinfo 1.2.10
  • unf 0.1.4
  • unf_ext 0.0.8.2
  • unicode-display_width 1.8.0
  • zeitwerk 2.5.4
v3.11.0/Gemfile rubygems
  • github-pages ~> 225 development
  • jekyll-numbered-headings >= 0
  • kramdown >= 2.3.1
  • minima ~> 2.5
  • tzinfo ~> 1.2
  • tzinfo-data >= 0
  • wdm ~> 0.1.1
v3.11.0/Gemfile.lock rubygems
  • activesupport 6.0.6.1
  • addressable 2.8.0
  • coffee-script 2.4.1
  • coffee-script-source 1.11.1
  • colorator 1.1.0
  • commonmarker 0.23.7
  • concurrent-ruby 1.2.0
  • dnsruby 1.61.9
  • em-websocket 0.5.3
  • ethon 0.15.0
  • eventmachine 1.2.7
  • execjs 2.8.1
  • faraday 2.3.0
  • faraday-net_http 2.0.3
  • ffi 1.15.5
  • forwardable-extended 2.6.0
  • gemoji 3.0.1
  • github-pages 225
  • github-pages-health-check 1.17.9
  • html-pipeline 2.14.1
  • http_parser.rb 0.8.0
  • i18n 0.9.5
  • jekyll 3.9.0
  • jekyll-avatar 0.7.0
  • jekyll-coffeescript 1.1.1
  • jekyll-commonmark 1.4.0
  • jekyll-commonmark-ghpages 0.2.0
  • jekyll-default-layout 0.1.4
  • jekyll-feed 0.15.1
  • jekyll-gist 1.5.0
  • jekyll-github-metadata 2.13.0
  • jekyll-include-cache 0.2.1
  • jekyll-mentions 1.6.0
  • jekyll-numbered-headings 0.1.1
  • jekyll-optional-front-matter 0.3.2
  • jekyll-paginate 1.1.0
  • jekyll-readme-index 0.3.0
  • jekyll-redirect-from 0.16.0
  • jekyll-relative-links 0.6.1
  • jekyll-remote-theme 0.4.3
  • jekyll-sass-converter 1.5.2
  • jekyll-seo-tag 2.8.0
  • jekyll-sitemap 1.4.0
  • jekyll-swiss 1.0.0
  • jekyll-theme-architect 0.2.0
  • jekyll-theme-cayman 0.2.0
  • jekyll-theme-dinky 0.2.0
  • jekyll-theme-hacker 0.2.0
  • jekyll-theme-leap-day 0.2.0
  • jekyll-theme-merlot 0.2.0
  • jekyll-theme-midnight 0.2.0
  • jekyll-theme-minimal 0.2.0
  • jekyll-theme-modernist 0.2.0
  • jekyll-theme-primer 0.6.0
  • jekyll-theme-slate 0.2.0
  • jekyll-theme-tactile 0.2.0
  • jekyll-theme-time-machine 0.2.0
  • jekyll-titles-from-headings 0.5.3
  • jekyll-watch 2.2.1
  • jemoji 0.12.0
  • kramdown 2.3.1
  • kramdown-parser-gfm 1.1.0
  • liquid 4.0.3
  • listen 3.7.1
  • mercenary 0.3.6
  • mini_portile2 2.8.0
  • minima 2.5.1
  • minitest 5.17.0
  • nokogiri 1.13.10
  • octokit 4.25.0
  • pathutil 0.16.2
  • public_suffix 4.0.7
  • racc 1.6.1
  • rb-fsevent 0.11.1
  • rb-inotify 0.10.1
  • rexml 3.2.5
  • rouge 3.26.0
  • ruby2_keywords 0.0.5
  • rubyzip 2.3.2
  • safe_yaml 1.0.5
  • sass 3.7.4
  • sass-listen 4.0.0
  • sawyer 0.9.2
  • simpleidn 0.2.1
  • terminal-table 1.8.0
  • thread_safe 0.3.6
  • typhoeus 1.4.0
  • tzinfo 1.2.10
  • unf 0.1.4
  • unf_ext 0.0.8.2
  • unicode-display_width 1.8.0
  • zeitwerk 2.6.6