Pinned Loading

1. LI-cicleWrap LI-cicleWrap Public

   Logic in Informatics, 3rd assignment: CicleWrap Game. April'15, Barcelona School of Informatics

   PostScript

2. LI-PrologProblems LI-PrologProblems Public

   Problems for LI subject, 4th assignment

   Prolog

3. LI-satSolver LI-satSolver Public

   SAT SOLVER for Logics in the Informatics subject of FIB's Bachelor Degree in Informatics

   TeX

4. rpack rpack Public

   A simple bash script to ease homemade R packages update process on systems without gui.

   Shell

5. r-net-tools/net.security r-net-tools/net.security Public

   Security R package with a set of utils to analyse the different industry standards (MITRE and NIST).

   R 12 10

6. env-conf env-conf Public

   Shell