Davide Restivo (daviderestivo)

daviderestivo

Geek Repo

Location:Aarau, Switzerland

Home Page:http://somemixedstuff.blogspot.ch

Github PK Tool:Github PK Tool

Davide Restivo's repositories

homebrew-emacs-head

GNU Emacs formula for the Homebrew package manager

Language:RubyLicense:GPL-3.0Stargazers:298Issues:12Issues:72

galactic-emacs

An Emacs distribution coming from the space ...

Language:Emacs LispLicense:GPL-3.0Stargazers:120Issues:4Issues:7

load-bash-alias

Convert bash aliases into eshell ones

Language:Emacs LispLicense:GPL-3.0Stargazers:19Issues:3Issues:1

smart-mode-line-atom-one-dark-theme

An atom-one-dark theme for smart-mode-line

Language:Emacs LispLicense:GPL-3.0Stargazers:9Issues:3Issues:0

homebrew-fortune-mod

Enhanced homebrew fortune formula

Language:RubyLicense:GPL-3.0Stargazers:7Issues:3Issues:0

dotfiles

My collection of dotfiles

Language:ShellLicense:GPL-3.0Stargazers:6Issues:3Issues:1

comware-router-mode

Major mode for editing Comware configuration files

Language:Emacs LispLicense:GPL-3.0Stargazers:2Issues:3Issues:0
License:GPL-3.0Stargazers:1Issues:3Issues:0

org-beautify-theme

Subtle theme tweaks to make org-mode more pretty

Language:Emacs LispStargazers:1Issues:1Issues:0

travis-emacs-head-bottle

A simple travis configuration to build and upload homebrew bottles to bintray

License:GPL-3.0Stargazers:1Issues:3Issues:0

architecture-decision-record

Architecture decision record (ADR) examples for software planning, IT leadership, and template documentation

Stargazers:0Issues:0Issues:0

atom-one-dark-theme

Atom One Dark - An Emacs port of the Atom One Dark theme from Atom.io.

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0

awesome-elisp

A curated list of emacs-lisp development resources

License:UnlicenseStargazers:0Issues:2Issues:0
Language:ClojureStargazers:0Issues:3Issues:0

clojure

The Clojure programming language

Language:JavaStargazers:0Issues:2Issues:0

communicationpatterns

The companion website for Communication Patterns: A Guide for Developers and Architects, by Jacqui Read

License:CC-BY-SA-4.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:2Issues:0

foundations-of-scalable-systems

Code examples for the Foundations of Scalable Systems book

Stargazers:0Issues:0Issues:0

goto-line-preview

Preview line when executing `goto-line` command.

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0

grokkingfp-examples

All examples and exercises from the Grokking Functional Programming book

Language:ScalaStargazers:0Issues:2Issues:0

homebrew-emacs-plus

Emacs Plus formulae for the Homebrew package manager

Language:RubyLicense:MITStargazers:0Issues:2Issues:0
License:MITStargazers:0Issues:0Issues:0

nitro-enclave-python-demo

Using Python to implement basic features on AWS Nitro Enclaves

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

on-lisp

A modernized and annotated code companion to Paul Graham's "On Lisp".

Language:Common LispStargazers:0Issues:2Issues:0

smart-mode-line

A powerful and beautiful mode-line for Emacs.

Language:Emacs LispStargazers:0Issues:2Issues:0

SpringBootUpAndRunning

Code to accompany my book Spring Boot: Up and Running, available at bitly.com/springbootbook

Stargazers:0Issues:0Issues:0
Language:Emacs LispStargazers:0Issues:2Issues:0

TECOC

TECOC - TECO text editor

Language:CStargazers:0Issues:2Issues:0

ThinkComplexity2

Book and code for Think Complexity, 2nd edition

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:2Issues:0