Downloads

  • 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
  • rcrypt 1.0 2015-08-01License: GNU GPL 2.0

    Bash script to encrypt or decrypt the contents of a given file, using openssl software.

    Uses the AES-256 CBC scheme for encryption and decryption.

    If an output file name is provided, it is used to store the encrypted data. Otherwise the encrypted data is sent to the standard output.

    Language: en
  • get-backups 1.0 2015-08-01License: GNU GPL 2.0

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

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

    It organizes the downloaded files as daily, weekly, and monthly backups, which determines how long the files are kept (i.e., after a a configurable period of time, the script deletes old files).

    Language: en
  • rarch 1.0 2015-08-01License: GNU GPL 2.0

    Bash script to create encrypted DMG archives from folders, using hdiutil software (available on OS X).

    Uses the default encryption scheme from hdiutil. The output file name is the result of appending the current date to the input folder name.

    Language: en
  • rbackup 1.1 2015-08-01License: GNU GPL 2.0

    Bash script to create backups of a single directory.

    It creates daily incremental backups, and full weekly and monthly backups. The user can specify the number of days after which the different types of backups are to be deleted.

    Using cron or launchd, we can schedule the script to run every day.

    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
  • rtar 2.1.3 2013-07-20License: GNU GPL 2.0

    Perl script to build .tar.gz packages, from one or more folders.

    It creates a file for each folder, with the name of the folder.

    It allows you to add the current date to file name (option -d), and it automatically excludes files .DS_Store and .localized (useful when using Mac OS X).

    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
  • 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
  • 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
  • Aspect Oriented Programming with AspectJ 2008-08-29

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

    Language: pt
  • 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
  • vdm.vim 2.6 2007-07-20License: GNU GPL 2.0

    Vim syntax file for programming language VDM-SL.

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

    Vim syntax file for programming language VDM++.

    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
  • PP IV - Solved Exercises 2005-07-31

    Programming Paradigms IV (2004/2005)

    Solved exercises of Object Oriented Programming, using Java.

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

    Computational Mathematics (2004/2005)

    Resolution of exercices in Mathematica.

    Language: pt