Giter Club home page Giter Club logo

typelevel.github.com's Introduction

typelevel website

This is the website of typelevel.scala. It is built on Jekyll and served at typelevel.org.

Important notice

๐Ÿ“ข The blog post workflow has changed:

  • The default branch is now development. master is the target for automated commits from Travis. Please git checkout development for doing anything.
  • Posts go into posts instead of _posts. Run sbt run to have them copied over.
  • You can use tut in posts. See posts/2016-09-30-subtype-typeclasses.md for an example.

Getting Started (the short version)

If you just want to add a blog post or fix a typo in the content, here's how to get started.

Creating a blog post

  1. Create a new file in the posts directory or copy an existing post. Its name should have the format YYYY-MM-DD-short_title.md.
  2. Set the title (short title of the post, appears as the HTML <title>) and author (your GitHub user name) in the front matter. MathJax is available via mathjax: true inside the front matter.
  3. If this is your first blog post, please indicate if you want your name and a profile picture to appear on the post. If not, you can remove the author field from the front matter. Add your details in _data/authors.yml.
  4. Write your content using Markdown. For code highlighting, use the usual GitHub syntax:
def yourCode: Here

If you haven't written a post before, please add yourself to _data/authors.yml.

That's it, we'll take care of the rest. If you wish, you can also submit just a plain Markdown file and we'll be happy to integrate it.

Previewing your changes

To preview your changes, you have to install Ruby, Bundler and SBT first. Once you've done that, you can start the Jekyll server like this:

sbt run
bundle install
bundle exec jekyll serve --baseurl ''

This will first preprocess the blog posts and then start a local web server on port 4000 where you can browse the site. For automatic site rebuild, run the following two commands in different terminals:

sbt ~run
bundle exec jekyll serve --incremental --baseurl ''

This will trigger a recompile and rebuild if you change the source files.

License

Two different licenses apply:

Development

CSS

The stylesheets are written in SASS, and can be found in the css and _scss directories. It is being processed/compiled into regular CSS by Jekyll.

โ”œโ”€โ”€ css/
โ”‚   โ”œโ”€โ”€ main.scss # Custom CSS, brings all stylesheets together
โ”œโ”€โ”€ _scss/
โ”‚   โ”œโ”€โ”€ _fonts.scss # @font-face embedding.
โ”‚   โ”œโ”€โ”€ _mixins.scss # SASS mixins
โ”‚   โ”œโ”€โ”€ _reset.scss # Normalize stylesheet
โ”‚   โ”œโ”€โ”€ _syntax.scss # Syntax highlighting by Pygments
โ”‚   โ”œโ”€โ”€ _variables.scss # SASS variables (colors, fonts, etc.)

Javascript

Javascript can be found in the js/ folder, which also includes its dependencies.

Templates

All templates/layouts can be found in the _layouts folder, except the blog layout, which is located inside its own subfolder blog/.

Images

Images for styling purposes are located inside img/, photos inside img/media/.

Adding a project

There are three types of projects: core/featured projects, regular projecs, and macros.

To add a regular project, create a new markdown file in the _projects folder with the following front matter:

layout: post
title: "Cats"
category: "Functional Programming"
description: "An experimental library intended to provide abstractions for functional programming in Scala, leveraging its unique features. Design goals are approachability, modularity, documentation and efficiency."
permalink: "https://non.github.io/cats/"
github: "https://github.com/non/cats"

Right now nothing more than the correct front matter is required.

Do the same for a core/featured project, but also add core: true. To add companions or extensions to these projects, use the front matter, too:

extensions:
  - title: "Dogs"
    description: "Functional data structures"
    github: "https://github.com/stew/dogs"
  - title: "Alleycats"
    description: "Lawless classes & illegal instances"
    github: "https://github.com/non/alleycats"

Macros are created a little differently. They are located in _data/macros.yml and look like this:

- title: "imp"
  description: "Summoning implicit values"
  github: "https://github.com/non/imp"

Adding a page

To add a page, create a HTML or Markdown file in the root of the project. The site navgation is not fully dynamic for simplification purposes. It can be changed in the default layout (_layouts/default.html).

Sample front matter for a page:

layout: page
title: "Code of Conduct"

typelevel.github.com's People

Contributors

larsrh avatar s11001001 avatar adelbertc avatar milessabin avatar fabe avatar pthariensflame avatar non avatar jorgegalindocruces avatar taig avatar puffnfresh avatar stew avatar tixxit avatar anicolaspp avatar jarrodu avatar ceedubs avatar alexandru avatar djspiewak avatar melrief avatar richardmiller-zz avatar mpilquist avatar robinske avatar propensive avatar fthomas avatar aloiscochard avatar zainab-ali avatar xuwei-k avatar choedl avatar sksamuel avatar stacycurl avatar fommil avatar

Watchers

James Cloos avatar Suhas Gaddam avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.