Downloads
- DicionarioPT r4.1.0 2012-05-08License: GNU GPL 2.0
Widget for Mac OS X providing a Portuguese dictionary.
Language: pt - 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 - rbackup 1.0 2011-09-24License: GNU GPL 2.0
Bash script to create backups.
It creates daily incremental backups, and full weekly and monthly backups. The user can specify the number of days after which the different types backups are to be deleted.
Using cron or launchd, we can schedule the script to run every day.
Language: en - 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 - RCG Forest - Source Code 1.7.0 2010-09-10License: GNU GPL 2.0
Theme for WordPress blogs RCG Forest (source code).
Language: be de en fr pt ru - Aspect Oriented Programming with AspectJ 2008-08-29
Article about Aspect Oriented Programming (AOP), and language AspectJ.
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 - tohtml 1.2 2008-08-29License: GNU GPL 2.0
Perl script to convert some special characteres from a file to HTML entities. It allows the specification of the input file encoding.
Language: en - rtar 2.1 2008-08-29License: GNU GPL 2.0
Perl script to build
.tar.gzpackages, from one or more folders. Creates an file for each folder, with the name of the folder. Allows you to add the current date to file name (option-d). Automatically excludes files.DS_Storeand.localized(useful when using Mac OS X).Language: en - Concurrent Programming in UNIX Environments 2008-08-28
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 - RC I - Solved Exercises 2007-12-31
Knowledge Representation I (2006/2007)
Resolution of exercises about knowledge representation using Prolog.
Language: pt - TNC - Solved Exercises 2007-07-31
Computational Number Theory (2006/2007)
Resolution of exercise about number theory using PARI/GP.
Language: pt - MFP I - VDM-SL Specifications 2007-01-06
Formal Programming Methods I (2006/2007)
Formal specification examples in VDM-SL.
Language: en - 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 - PE - Solved Exercises 2006-07-31
Probabilities and Statistics (2005/2006)
Resolution of exercises about probabilities using Mathematica.
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 - 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 languages' 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