https://github.com/benkeks/concurrency-theory.org
Website to give some overview over the concurrency theory community
Science Score: 26.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
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (3.3%) to scientific vocabulary
Repository
Website to give some overview over the concurrency theory community
Basic Info
- Host: GitHub
- Owner: benkeks
- Language: HTML
- Default Branch: main
- Homepage: https://concurrency-theory.org
- Size: 523 KB
Statistics
- Stars: 0
- Watchers: 3
- Forks: 1
- Open Issues: 0
- Releases: 0
Metadata Files
README.md
concurrency-theory.org — A website to give some overview over the concurrency theory community
This is the git repository of the website https://concurrency-theory.org. The site primarily serves as a place for the IFIP-WG 1.8 “Concurrency Theory” (of TC 1 Foundations of Computer Science) to share information. It also contains some contens of the former page of the Calculi for Mobile Processes community lamp.epfl.ch/mobility.
Building
This site can be built locally using Bundler and Jekyll.
bundle install
bundle exec jekyll serve --livereload
Owner
- Name: Benjamin Bisping
- Login: benkeks
- Kind: user
- Location: Berlin
- Company: TU Berlin
- Website: https://bbisping.de
- Twitter: benkeks
- Repositories: 20
- Profile: https://github.com/benkeks
Computer scientist in the field of analysis and theory of distributed systems. (And sometimes game dev.)
GitHub Events
Total
- Push event: 5
Last Year
- Push event: 5
Dependencies
- jekyll-redirect-from >= 0 development
- jekyll ~> 3.8.5
- just-the-docs >= 0
- tzinfo-data >= 0
- addressable 2.8.0
- colorator 1.1.0
- concurrent-ruby 1.1.9
- em-websocket 0.5.2
- eventmachine 1.2.7
- ffi 1.15.3
- forwardable-extended 2.6.0
- http_parser.rb 0.6.0
- i18n 0.9.5
- jekyll 3.8.7
- jekyll-redirect-from 0.16.0
- jekyll-sass-converter 1.5.2
- jekyll-seo-tag 2.7.1
- jekyll-watch 2.2.1
- just-the-docs 0.3.3
- kramdown 1.17.0
- liquid 4.0.3
- listen 3.5.1
- mercenary 0.3.6
- pathutil 0.16.2
- public_suffix 4.0.6
- rake 13.0.3
- rb-fsevent 0.11.0
- rb-inotify 0.10.1
- rouge 3.26.0
- safe_yaml 1.0.5
- sass 3.7.4
- sass-listen 4.0.0
- actions/checkout v2 composite
- burnett01/rsync-deployments 5.2 composite
- ruby/setup-ruby v1 composite