Downloads

  • HostBlocker 1.4.2 2018-03-23License: GNU GPL 3.0

    Application to build lists that block known problematic domains (e.g., associated to spam, malware, tracking).

    Language: en
  • rtar 1.0 2017-12-28License: GNU GPL 2.0

    Bash script to creates TAR GZ archives from the given directories. It was created to simplify the usage of the tar command in some common scenarios.

    For each directory, it creates an archive with the same name, concatenated with extension .tar.gz. It can optionally append the current date to the archive name (before the extension).

    The files with name .DS_Store and .localized are be excluded (useful in MacOS).

    Language: en
  • rbackup 2.0 2017-12-26License: GNU GPL 2.0

    Bash script to create and maintain versioned (daily, weekly and monthly) folder backups.

    Monthly and weekly backups are full, whereas daily backups only store the changes of the past five days. Daily backups append files to the daily archive. If multiple daily backups are made, duplicated files are likely to appear in the backup archive.

    It also deletes the old backup files after a configurable period of time. Note: the files to delete are determined according to the modification time provided by the file system. Thus, those timestamps should not be changed after the creation of the backups.

    Language: en
  • RPass 1.0 2017-11-04License: GNU GPL 2.0

    Widget for Mac OS X that generates random passwords.

    Language: en
  • get-backups 2.1 2017-09-05License: GNU GPL 2.0

    Bash script to download backup archives from a remote machine, and store those archives in a local folder.

    It is prepared to preserve multiple versions of the backup files. Thus, the local folder where the backups are stored contains date information in its name.

    It also deletes the old backup files after a configurable period of time. Note: the files to delete are determined according to the modification time provided by the file system. Thus, those timestamps should not be changed after the creation of the backups.

    Language: en
  • rarch 2.2 2017-09-02License: GNU GPL 2.0

    Bash script to create encrypted TAR archives from directories, using GnuPG public key encryption.

    Language: en
  • RCG Forest - Source Code 2.2 2016-08-30License: GNU GPL 2.0

    Theme for WordPress blogs RCG Forest (source code).

    Language: en pt
  • RLP - Source Code 1.5 2015-08-20License: GNU GPL 2.0

    RLP source code.

    Language: en
  • LibRCG - Reference Manual 3.1.1 2015-08-02License: GNU LGPL 2.1

    LibRCG reference manual (PDF).

    Language: en
  • LibRCG - Reference Manual 3.1.1 2015-08-02License: GNU LGPL 2.1

    LibRCG reference manual (HTML).

    Language: en
  • LibRCG - Source Code 3.1.1 2015-08-02License: GNU LGPL 2.1

    LibRCG source code.

    Language: en
  • RCG Gray - Source Code 2.1.3 2015-06-24License: GNU GPL 2.0

    Theme for WordPress blogs RCG Gray (source code).

    Language: en pt
  • DicionarioPT r5.0.1 2013-12-09License: GNU GPL 2.0

    Widget for Mac OS X providing a Portuguese dictionary.

    Language: pt
  • gexport 2.0 2013-07-22License: GNU GPL 2.0

    Perl script to build a compressed archive from a branch of a Git repository.

    Language: en
  • GuiaTV r3.2.1 2012-02-25License: GNU GPL 2.0

    Widget for Mac OS X providing the schedule of TV channels available on ZON.

    Language: pt
  • DicionarioPT.dict 1.2 2011-09-21License: CC BY-SA 2.5

    Portuguese dictionary for Mac OS X (offline).

    Language: pt
  • Euler Project Resolutions 2011-03-21License: GNU GPL 2.0

    Resolution of some of the problems from Project Euler.

    Language: en
  • FutebolPT 3.0.3 2010-09-21License: GNU GPL 2.0

    Widget for Mac OS X providing the list of matches, results and standings of the portuguese main football championship.

    Language: pt
  • haskell.vim 2.0 2010-09-15License: GNU GPL 2.0

    Vim syntax file for functional programming language Haskell. This file is based on the default Haskell syntax file include in Vim, but also highlights all prelude functions.

    Language: en
  • RCG Ocean - Source Code 1.6.3 2010-09-14License: GNU GPL 2.0

    Theme for WordPress blogs RCG Ocean theme (source code).

    Language: en pt
  • Aspect Oriented Programming with AspectJ 2008-08-29

    Article about Aspect Oriented Programming (AOP), and language AspectJ.

    Language: pt
  • Concurrent Programming in UNIX Environments 2008-08-29

    Article addressing the mechanisms available in UNIX to develop concurrent applications using processes (namely process creation and management, and communication between processes with pipes).

    Language: pt
  • incbackup 1.2 2008-08-29License: GNU GPL 2.0

    Perl script to create incremental backups.

    It uses rsync and hard links, and it tries to replicate the behavior of Time Machine.

    Language: en
  • Software Development for UNIX 2008-08-28

    Article teaching how to use automake and autoconf to build install scripts.

    Language: pt
  • RC I - Solved Exercises 2007-12-31

    Knowledge Representation I (2006/2007)

    Resolution of exercises about knowledge representation using Prolog.

    Language: pt
  • FC - RSA 2007-08-22

    Introduction to Cryptography (2006/2007)

    Implementation of RSA key generation and encryption/decryption primitives, using PARI/GP. Exploration of RSA vulnerabilities.

    Language: pt
  • TNC - Solved Exercises 2007-07-31

    Computational Number Theory (2006/2007)

    Resolution of exercise about number theory using PARI/GP.

    Language: pt
  • vpp.vim 1.0 2007-07-20License: GNU GPL 2.0

    Vim syntax file for programming language VDM++.

    Language: en
  • vdm.vim 2.6 2007-07-20License: GNU GPL 2.0

    Vim syntax file for programming language VDM-SL.

    Language: en
  • Hangman 2.1 2007-01-09License: GNU GPL 2.0

    Implementation of hangman game using C.

    Language: pt
  • 21 Matches 2.1 2007-01-09License: GNU GPL 2.0

    Implementation of 21 Matches game using C.

    Language: pt
  • MFP I - VDM-SL Specifications 2007-01-06

    Formal Programming Methods I (2006/2007)

    Formal specification examples in VDM-SL.

    Language: en
  • PE - Solved Exercises 2006-07-31

    Probabilities and Statistics (2005/2006)

    Resolution of exercises about probabilities using Mathematica.

    Language: pt
  • AN - Solved Exercises 2006-07-31

    Numerical Analysis I/II (2005/2006)

    Resolution of exercises from the book Análise Numérica: um curso prático com MATLAB (M. I. Falcão and M. J. Soares, Universidade do Minho, 2004).

    Language: pt
  • PL I - Parser (AG) 2006-06-08

    Language Processing I (2005/2006)

    Implementation of a compiler for LISS2 language, using attribute grammars and tool LISA.

    Language: pt
  • ELP III - Petri Nets to SMV 2006-06-07

    Logic Elements of Programming III (2005/2006)

    Implementation, using Haskell, of a program to generate a representation of the acessibility graph of P/T nets with propositional logic (SMV).

    Language: pt
  • PE - Buffon's Needle (with Polygons) 2006-05-30

    Probabilities and Statistics (2005/2006)

    Generalization of the Buffon's needle problem to regular polygons. Implementation of a simulator using Mathematica.

    Language: pt
  • PL I - Parser 2006-04-28

    Language Processing I (2005/2006)

    Implementations of a parser using lex and yacc.

    Language: pt
  • MP III - LL Parsers 2006-04-22

    Programming Methods III (2005/2006)

    Implementation of new features in the HaGLR library: a LL(1) parser generator, and a parsing tree visualizer.

    Language: pt
  • MP III - Solved Exercises 2005-12-31

    Programming Methods III (2005/2006)

    Resolution of exercises about language specification and processing (regular expressions, finite automata, and context-free grammars).

    Language: pt
  • MC - Solved Exercises 2005-07-31

    Computational Mathematics (2004/2005)

    Resolution of exercices in Mathematica.

    Language: pt
  • PP IV - Solved Exercises 2005-07-31

    Programming Paradigms IV (2004/2005)

    Solved exercises of Object Oriented Programming, using Java.

    Language: pt