Michael Baer's repositories
arc-firefox-theme
Arc Firefox Theme
firefox-gnome
GNOME 3 theme for Firefox (previously known as Adwaita)
Functional-Programming
Functional Programming concepts, examples and patterns illustrated through Haskell syntax.
randwall
Gnome shell extension "Random Walls" for gnome 3
reddit-emoji
Emojis for your Subreddit style, powered by Emoji One
gnome-shell-extension-calc
A simple calculator for the gnome-shell search overview
gnome-shell-extension-suspend-button
GNOME Shell Extension Suspend-Button for GNOME 3.10 / 3.12
guake-website
Source code for the guake-project.org website
Headerbar
Complete tutorial of Firefox GNOME integration
javascript-allonge
Markdown source for the book "JavaScript Allongé"
jsbin
Collaborative JavaScript Debugging App
librearcade
LibreArcade is a tool to download and manage your game collection on Linux.
LiveScript
LiveScript is a language which compiles to JavaScript. It has a straightforward mapping to JavaScript and allows you to write expressive code devoid of repetitive boilerplate. While LiveScript adds many features to assist in functional style programming, it also has many improvements for object oriented and imperative programming.
meteor
Meteor, an ultra-simple, database-everywhere, data-on-the-wire, pure-Javascript web framework.
Naut-for-reddit
A css theme for reddit.com
prelude-ls
prelude.ls is a functionally oriented utility library - powerful and flexible, almost all of functions are curried. It is written in, and is the recommended base library for, http://livescript.net
rustkit
An unofficial library explorer for Rust.
webslides
Making HTML presentations easy —
wildfly.org
Wildfly Website
x3dom
X3DOM. A framework for integrating and manipulating X3D scenes as HTML5/DOM elements.