/AOSSIE-Blogs

Mirror of the AOSSIE-Blogs Project

Primary LanguageCSSMIT LicenseMIT

AOSSIE Blog

This repository is the blog site of AOSSIE. We are using jekyll from this repository. Visit the AOSSIE Blog at here.

About AOSSIE

Umbrella Org for Open-Source Projects in Australia

We are a not-for-profit umbrella organization for open-source projects developed in Australia. We believe the open-source philosophy provides a resource-efficient channel to transfer knowledge and achieve innovation and education.

We offer the following projects:

  • Agora (Scala): a library of vote counting algorithms for democratic elections.

  • Scavenger (Scala): an automated theorem prover for first-order logic.

  • Skeptik (Scala): a library of algorithms to manipulate formal proofs generated by automated reasoners such as SAT and SMT solvers.

  • Mind the Word (Javascript, HTML, CSS): a browser extension that helps users to learn new languages.

  • Carbon Footprint (Javascript, HTML, CSS): a browser extension that raises environmental awareness regarding C02 emissions.

  • Computational Philosophy (Isabelle): formalizations of philosophical theories and arguments towards computer-assisted metaphysics, as envisaged by Leibniz.

We have a diverse group of mentors, including GSoC students from previous years who decided to become long-term contributors as well as academics with extensive experience in supervising undergraduate, M.Sc. and Ph.D. students on theses and projects, whose results are often published and presented in the most prestigious conferences of our research fields.

We are looking for excellent students of any level (undergraduate, M.Sc., or Ph.D.), who are interested in becoming long-term collaborators in our projects and in joining the open-source approach to software development. We will evaluate student applications solely on the basis of programming skills, academic merit and the feasibility of the proposals.

Installation

Open your terminal

  1. Install a full Ruby development environment

  2. Install Jekyll and bundler gems

$ gem install jekyll bundler
  1. Clone the repository on your computer
$ git clone https://gitlab.com/aossie/aossie-blogs.git
  1. Change directory to aossie-blogs
$ cd aossie-blogs
  1. Build the site and make it available on a local server
$ bundle exec jekyll serve
  1. Now browse to http://localhost:4000

How to create a blog post

  1. Go to this directory aossie-blogs/_posts in you local folder.

  2. Duplicate any .md file and rename it with your current date

    In this form, YYYY-MM-DD-Your_post_title.md

  3. Change the content in the duplicated file.

Contributing

  1. Fork it (https://gitlab.com/aossie/aossie-blogs.git)
  2. Create your feature branch (git checkout -b aossie-blogs)
  3. Commit your changes (git commit -am 'Add something')
  4. Push to the branch (git push origin aossie-blogs)
  5. Create a new Pull Request