Lightweight Java Graph Database [EXPERIMENTAL]

This is a game developed on ureal engine 4. It was made to help us learn game-design.

WIll update for the upcoming weeks/months. Just a start right now.

OpenLDAP Engine - ClearOS app and API.

My bloggity

Relational SQL database System

Language - ClearOS app and API.

Materials for SFS DevOps Camp

Version Control on your Server. See http://gitlab.org/gitlab-ce/ and the README for more information

Source for https://about.gitlab.com/

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dotfiles for i3, vim, etc.

Vefrit á vegum Alþýðufylkingarinnar

Pecas: conjunto de scripts pensados para agilizar o automatizar varios de los procesos del quehacer editorial.

The Dockerfile context for the Laravel site for https://demos.aninternetpresence.net

ZeroNet - Decentralized websites using Bitcoin crypto and BitTorrent network https://zeronet.io